TEMARIO DE PROGRAMACION DECLARATIVA
Tema 1. Introducción.
Tema 2. Preliminares y fundamentos.
Parte I: Programación Lógica.
Tema 3. De la demostración automática a la programación lógica.
Tema 4. Programación lógica.
Tema 5. De la programación lógica a prolog.
Tema 6. Aplicaciones de la programación lógica.
Parte II: Programación Funcional.
Tema 7. Técnicas de la programación funcional.
Técnicas básicas.
Características avanzadas: abstracción y orden superior.
Tema 8. Modos de evaluación.
PRÁCTICAS DE LABORATORIO.
Parte I: programación lógica (lenguaje prolog).
Parte II: programación funcional (lenguaje haskell).
BIBLIOGRAFIA.
[Apt 97] K.R. Apt. From Logic Programming to Prolog. Prentice-Hall, 1997.
[Bird00] R. Bird. Introducción a la Programación Funcional con Haskell. Prentice Hall, 2000.
[Bratko90] Ivan Bratko. PROLOG, Programming for Artificial Intelligence (2ª Edición), Addison – Wesley, 1990.
[Field 88] A. J. Field, P. G. Harrison. Functional Programming. Addison – Wesley, 1988.
[JA2007] P. Julián-Iranzo & M. Alpuente Frasnedo. Programación lógica : teoría y práctica. Pearson Prentice Hall, 2007.
[Kow 79] Kowalski, R., Logic for problem solving. North Holland, N. Y., 1979. (Pésima traducción castellana de J. A. Calle: Lógica, programación e Inteligencia Artificial. Diaz de Santos, Madrid, 1986)
[Lloyd 87] J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1987.
[Reade 89] C. Reade. Elements of Functional Programming. Addison – Wesley, 1989.
[RGGG 04] B, Ruiz, F. Gutiérrez, P. Guerrero & J.E. Gallardo. Razonando con Haskell: Un curso sobre programación funcional. Thomson-Paraninfo. 2004