Programación declarativa (2003-04): Documentación

Libros y apuntes en la Red

• 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

• Werner Hett P-99: Ninety-Nine Prolog Problems

Materiales de libros en la Red

• Bratko, I. PROLOG Programming for Artificial Intelligence (3 ed.) (Addison Wesley, 2001)
• Flach, P. Simply Logical (Intelligent Reasoning by Example) (John Wiley, 1994)