En esta página se recogen en enlaces que sirven de
documentación a la asignatura de "Programación
lógica" del curso 2008-09.
Programación lógica con Prolog
Manuales de referencia de Prolog
-
SWI-Prolog Reference Manual.
-
Programming in XPCE/Prolog.
Libros y apuntes en la Red sobre Prolog
- J.A. Alonso
Introducción a la programación lógica con
Prolog.
- 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.
Ejercicios de Prolog
- W. Hett
P-99: Ninety-Nine Prolog Problems
- B. Demoen, P.-L. Nguyen, T. Schrijvers y R. Tronçon
The Prolog Programming Contests
|