En esta página se recogen en enlaces que sirven de
documentación a la asignatura de "Programación
declarativa" del curso 2006-07.
Libros y apuntes en la Red
- J.A. Alonso
Introducción a la programación lógica con
Prolog.
Publicaciones del Grupo de Lógica Computacional.
Universidad de Sevilla, 2006.
- J.A. Alonso
Ejercicios de programación declarativa con Prolog.
Publicaciones del Grupo de Lógica Computacional.
Universidad de Sevilla, 2006.
- J.A. Alonso y A. Cordón
Temas de "Programación declarativa" (2005-06).
Publicaciones del Grupo de Lógica Computacional.
Universidad de Sevilla, 2006.
- 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!
- Fisher, J.R.
Prolog tutorial
- Llorens, F. y Castel, M.J.
Apuntes de Prolog
(Universidad de Alicante, 2001)
-
Reading about Prolog
Ejercicios de Prolog
Materiales de libros en la Red
Otros enlaces
|