Programación declarativa (2004-05)
Este curso se divide en dos partes. La primera se centra en la introducción a la programación lógica utilizando Prolog. La segunda parte aborda diversas aplicaciones de la programación lógica, incluyendo problemas de grafos, el problema de las reinas, el procesamiento del lenguaje natural y la construcción de metaintérpretes.
Es una asignatura obligatoria de tercer curso de la Ingeniería informática de la Universidad de Sevilla.
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 programación declarativa y ejercicios.
- Tema 8: Procesamiento del lenguaje natural y ejercicios.
- Tema 9: Metaprogramación.
Prácticas
Exámenes
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.