Documentación para "Programación declarativa" (2005-06)

En esta página se recogen en enlaces que sirven de documentación a la asignatura de "Programación declarativa" del curso 2005-06.

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)

Otros enlaces

• Crescenzi, P.; Kann, V.; Halldórsson, M.; Karpinski, K. y Woeginger, G. A compendium of NP optimization problems
• The Prolog Programming Contests
• S.S. Skiena The Stony Brook Algorithm Repository

[ Inicial | Temas | Prácticas | Documentación | Sistemas | Exámenes ]