Bibliografía de RA

• Alonso, J.A.; Fernández, A. y Pérez, M.J. Razonamiento automático (Univ. Sevilla, 1994)
• Bratko, I. PROLOG Programming for Artificial Intelligence (Addison Wesley, 1997)
• Clocksin, W.F. y Mellish, C.S. Programación en Prolog (Gustavo Gili, 1987)
• Flach, P. Simply Logical (Intelligent Reasoning by Example) (John Wiley, 1994)
• Poole, D.; Mackworth, A. y Goebel, R. Computational Intelligence (a Logical Approach) (Oxford University Press, 1998)
• Shoham, Y. Artificial Intelligence Techniques in Prolog (Morgan Kaufmann, 1994)
• Sterling,, L. y Shapiro, E. L'art de Prolog (Masson, 1990)