Programación declarativa (1999-00)
Este curso ofrece una introducción completa a la programación lógica utilizando Prolog, centrándose en sus aplicaciones prácticas.
Temas
- 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 la programación declarativa.
Problemas
Prácticas de laboratorio
Sistemas
Bibliografía
- Bratko, I. Prolog Programming for Artificial Intelligence (2nd ed.) (Addison-Wesley, 1990)
- Clocksin, W.F. y Mellish, C.S. Programación en Prolog (Gustavo Gili, 1987)
- Clocksin, W.F. y Mellish, C.S. Programming in Prolog (Fourth Edition) (Springer Verlag, 1994)
- Deransart, P.; Ed-Dbali, A. y Cervoni, L. Prolog: The Standard (Springer, 1996)
- 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 (2nd editition) (The MIT Press, 1994)
- Van Le, T. Techniques of Prolog Programming (John Wiley, 1993)