Temas de "Programación declarativa" (2001-02)
Tema 1:
Introducción a Prolog.
Tema 2:
Listas, aritmética y operadores.
Tema 3:
Estructuras.
Tema 4:
Corte, negación, predefinidos y segundo orden.
Tema 5:
Metodología y aplicaciones.