Programación declarativa (2003-04)
Este curso consta de tres partes. La primera introduce la programación lógica con Prolog. La segunda estudia aplicaciones de la programación lógica, como los problemas de grafos, el problema de las reinas, los problemas de espacios de estados y el procesamiento del lenguaje natural. La tercera parte aborda la programación lógica con restricciones utilizando Eclipse.
Temas y ejercicios
- Tema 1: Introducción a Prolog y Ejercicios.
- Tema 2: Listas, operadores y aritmética y Ejercicios.
- Tema 3: Estructuras y Ejercicios.
- Tema 4: Retroceso, corte y negación y Ejercicios.
- Tema 5: Programación lógica de segundo orden y Ejercicios.
- Tema 6: Estilo y eficiencia en programación lógica y Ejercicios.
- Tema 7: Aplicaciones de PD: problemas de grafos y el problema de las reinas y Ejercicios.
- Tema 8: Resolución de problemas de espacios de estados y Ejercicios.
- Tema 9: Procesamiento del lenguaje natural y Ejercicios.
- Tema 10: Programación lógica con restricciones.
Prácticas
- Práctica 1.
- Práctica 2.
- Práctica 3.
- Práctica 4.
- Práctica 5.
- Práctica 6 y auxiliar mensaje.dat.
- Práctica 7.
Bibliografía
- Alonso, J.A. y Borrego, J. Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos). (Kronos, 2002).
- Barták, R. On-line guide to prolog programming.
- Blackburn, P.; Bos, J. y Striegnitz, K. Learn Prolog now!.
- Bratko, I. Prolog programming for artificial intelligence (3 ed.). (Addison Wesley, 2001).
- Clocksin, W.F. y Mellish, C.S. Programming in Prolog. (Springer, 2003).
- Fisher, J.R. Prolog tutorial.
- Flach, P. Simply logical (Intelligent reasoning by example). (John Wiley, 1994).
- O’Keefe, R.A. The craft of Prolog. (The MIT Press, 1990).
- Sterling,, L. y Shapiro, E. The art of Prolog. (The MIT Press, 1994).
- Van Le, T. Techniques of Prolog programming. (John Wiley, 1993).
- Werner, H. P-99: Ninety-nine Prolog problems.