Programación Lógica
1
Información del Curso. Conceptos Básicos
2
Conceptos Básicos: Unificación (parte 1)
3
Conceptos Básicos: Unificación (parte 2). Ejemplos
4
Conceptos Básicos: Recursión
5
Listas
6
Listas y Acumuladores
7
Conceptos Básicos: Aritmética
8
Práctico 1
9
Fundamentos Teóricos: Lógica y Prolog
10
Fundamentos Teóricos: Programación Lógica
11
Fundamentos Teóricos: Resolución
12
Fundamentos Teóricos: Resolución y Árbol SLD
13
Generación y Chequeo
14
Programación no determinista (Ejemplo)
15
Predicados Metalógicos
16
Cut
17
Cut Verde, Cut Rojo. Aplicaciones
18
Predicados Extralógicos
19
Metaintérpretes
20
Resolución de Juegos
21
Estructuras Incompletas
22
Gramáticas Lógicas
23
Programación Lógica Inductiva
24
Programación Lógica Probabilista
Todo el contenido de OpenFing es Creative Commons.
