Temario

1. Introducción a la programación lógica
   • Historia
   • Predicados, hechos, queries, variables, reglas
   • Unificación y resolución, relación con lógica
   • Estrategia seguida por Prolog
2. Sintaxis, listas, estructuras, aritmética
3. ``Backtracking'', ! (cut), not
4. =.. (univ), arg, functor
5. bagof, setof, findall
6. I/O
7. Diferencias de listas, estructuras incompletas
8. Meta-predicados: numbervars, ground, verify
9. Definite Clause Grammmar (DCG)
10. Aplicaciones:
    1. Búsqueda (8-puzzle)
    2. Matemáticas simbólicas (derivación, cripto-aritmética)
    3. Propagación con de restricciones
    4. Aprendizaje
    5. Lenguaje natural
    6. Programación Lógica Inductiva
    7. Aprendizaje por refuerzo