Temas de "Programación declarativa" (2003-04)

• Tema 1: Introducción a Prolog. (transparencias y ejercicios).
• Tema 2: Listas, operadores y aritmética. (transparencias y ejercicios).
• Tema 3: Estructuras. (transparencias y ejercicios).
• Tema 4: Retroceso, corte y negación. (transparencias y ejercicios).
• Tema 5: Programación lógica de segundo orden. (transparencias y ejercicios).
• Tema 6: Estilo y eficiencia en programación lógica. (transparencias y ejercicios).
• Tema 7: Aplicaciones de PD: problemas de grafos y el problema de las reinas (transparencias y ejercicios).
• Tema 8: Resolución de problemas de espacios de estados. (transparencias y ejercicios).
• Tema 9: Procesamiento del lenguaje natural (transparencias y ejercicios).
• Tema 10: Programación lógica con restricciones (transparencias).