Documentación del Seminario de lógica computacional (2015-16)
En esta página se recogen en enlaces que sirven de documentación al Seminario.
Programación lógica con Prolog
Manuales de referencia de 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).