Documentación para "Programación lógica" (2008-09)

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

1. SWI-Prolog Reference Manual.
2. Programming in XPCE/Prolog.

Libros y apuntes en la Red sobre Prolog

1. J.A. Alonso
   Introducción a la programación lógica con Prolog.
2. R. Barták
   On-line Guide to Prolog Programming
3. P. Blackburn, J. Bos y K. Striegnitz
   Learn Prolog Now!
4. J.R. Fisher
   Prolog tutorial
5. P. Flach
   Simply Logical (Intelligent Reasoning by Example)
6. D. Merritt
   Adventure in Prolog.
7. U. Nilsson y J. Maluszynski
   Logic, Programming and Prolog (2ed).
8. D. Poole, A. Mackworth y R. Goebel
   Computational Intelligence (A Logical Approach).
9. C. Solnon
   Programmation par contraintes.
10. P.B. Reintjes
    Prolog for software engineering.

Ejercicios de Prolog

1. W. Hett
   P-99: Ninety-Nine Prolog Problems
2. B. Demoen, P.-L. Nguyen, T. Schrijvers y R. Tronçon
   The Prolog Programming Contests

[ Inicial | Temas | Documentación | Sistemas ]