Temas de "Programación declarativa" [Curso 2002-03]

• 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.