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.