"Programación lógica" (2004-05): Documentación

• 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!
• I. Bratko PROLOG Programming for Artificial Intelligence (3 ed.) (Addison Wesley, 2001)
• G. Fernández Representación del conocimiento en sistemas inteligentes (Universidad Politécnica de Madrid, 2000)
• R. Fisher Prolog tutorial
• P. Flach Simply Logical (Intelligent Reasoning by Example) (John Wiley, 1994)
• W. Hett P-99: Ninety-Nine Prolog Problems
• F. Llorens y M.J. Castel Apuntes de Prolog (Universidad de Alicante, 2001)
• 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) (Oxford University Press, 1998)
• C. Solnon Programmation par contraintes.

[ Inicial | Temas | Documentación | Sistemas ]