"Programación lógica" (2003-04): Documentación

• Alonso, J.A. y Borrego, J. Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos) (Kronos, 2002)
• Barták, R. On-line Guide to Prolog Programming
• Blackburn, P.; Bos, J. y Striegnitz, K. Learn Prolog Now!
• Bratko, I. PROLOG Programming for Artificial Intelligence (3 ed.) (Addison Wesley, 2001)
• Fernández, G. Representación del conocimiento en sistemas inteligentes (Universidad Politécnica de Madrid, 2000)
• Fisher, J.R. Prolog tutorial
• Flach, P. Simply Logical (Intelligent Reasoning by Example) (John Wiley, 1994)
• Llorens, F. y Castel, M.J. Apuntes de Prolog (Universidad de Alicante, 2001)

[ Inicial | Temas | Documentación | Sistemas ]