Programación declarativa (2005-06)
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 Y el procesamiento del lenguaje natural.
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.
Prácticas
Exámenes
- Noviembre de 2005: Primer examen de laboratorio
- Noviembre de 2005: Segundo examen de laboratorio
- Enero de 2006: grupo 1 y grupo 2
- Febrero de 2006: tercer examen de laboratorio y examen final.
- Septiembre de 2006: Examen de Septiembre.
Bibliografía
- J.A. Alonso y J. Borrego. Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos). (Kronos, 2002).
- R. Barták. On-line guide to prolog programming.
- P. Blackburn, J. Bos y K. Striegnitz. Learn Prolog now!.
- I. Bratko. Prolog programming for artificial intelligence (3 ed.). (Addison Wesley, 2001).
- W.F. Clocksin y C.S. Mellish. Programming in Prolog. (Springer, 2003).
- J.R. Fisher. Prolog tutorial.
- P. Flach. Simply logical (Intelligent reasoning by example). (John Wiley, 1994).
- U. Nilsson y J. Maluszynski Logic, programming and Prolog.
- R.A. O’Keefe. The craft of Prolog. (The MIT Press, 1990).
- L. Sterling y E. Shapiro. The art of Prolog. (The MIT Press, 1994).
- T. Van Le. Techniques of Prolog programming. (John Wiley, 1993).
- H. Werner. P-99: Ninety-nine Prolog problems.
Sistemas
- SWI Prolog.
- SldDraw: Herramienta para representar árboles SLD.