Programación declarativa (2006-07)
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, problemas espacios de estados, programación con restricciones, el procesamiento del lenguaje natural y la formalización de la lógica proposicional.
Es una asignatura obligatoria de tercer curso de la Ingeniería informática de la Universidad de Sevilla.
Temas y ejercicios
En esta sección se encuentra el material (transparencias y ejercicios) de las clases del curso Programación declarativa. Además, en se encuentran las transparencias del curso anterior.
- 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 de las reinas y Ejercicios.
- Tema 8: Aplicaciones de PD: Problemas de espacios de estados y Ejercicios.
- Tema 9: Programación lógica con restricciones y Ejercicios.
- Tema 10: Procesamiento de lenguaje natural y Ejercicios.
- Tema 11: Aplicaciones de PD: Lógica proposicional (sintaxis, cálculo de tableros y semántica) y Ejercicios.
Exámenes
- Primer examen parcial (14 de Noviembre de 2006).
- Segundo examen parcial (23 de enero de 2007).
- Examen final (15 de febrero de 2007).
Bibliografía
- J.A. Alonso. Introducción a la programación lógica con Prolog. (Universidad de Sevilla, 2006).
- J.A. Alonso. Ejercicios de programación declarativa con Prolog. (Universidad de Sevilla, 2006).
- J.A. Alonso y A. Cordón Temas de "Programación declarativa" (2005-06). (Universidad de Sevilla, 2006).
- 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.