Temas de "Programación declarativa" (2000-01)

• Tema 1: Introducción a Prolog.
• Tema 2: Listas, aritmética y operadores.
• Tema 3: Estructuras.
• Tema 4: Retroceso, corte y negación.
• Tema 5: Otros predicados predefinidos.
• Tema 6: Programación lógica de segundo orden.
• Tema 7: Estilo y eficiencia en programación lógica.
• Tema 8: Aplicaciones de PD.
• Tema 9: Procesamiento de lenguaje natural.