Documentación
En esta página se recogen en enlaces que sirven de documentación a la materia de "Programación lógica con Prolog".
1. 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.
- J.A. Alonso y J. Borrego. Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos) (Kronos, 2002)
- R. Barták, On-line Guide to Prolog Programming
- P. Blackburn, J. Bos y K. Striegnitz Learn Prolog Now!
- J.R. Fisher Prolog tutorial
- P. Flach Simply Logical (Intelligent Reasoning by Example)
- D. Merritt Adventure in Prolog.
- U. Nilsson y J. Maluszynski Logic, Programming and Prolog (2ed).
- D. Poole, A. Mackworth y R. Goebel Computational Intelligence (A Logical Approach).
- C. Solnon Programmation par contraintes.
- P.B. Reintjes Prolog for software engineering.
2. Ejercicios de Prolog
- Werner Hett P-99: Ninety-Nine Prolog Problems
3. 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)
4. Otros enlaces
- Crescenzi, P.; Kann, V.; Halldórsson, M.; Karpinski, K. y Woeginger, G. A compendium of NP optimization problems
- The Prolog Programming Contests