Documentación

Textos

• Giarratano, J.G. CLIPS 6.0 User's Guide
• Gordon, G.J. Common LISP Hints
• Paulson, L.C. Logic and Proof (University of Cambridge, 2002)
• Steele, G.L. Common Lisp the Language, (2nd Edition)

Tutoriales de Prolog

• Bartak, R. On-line Guide to Prolog Programming
• Merrit, D. Adventure in Prolog

Cursos

• Alonso, J.A. y Martín, F.J. Inteligencia artificial (II) (Universidad de Sevilla, Curso 1997-98)
• Blurock , E.S. Knowledge Based Engineering (Johannes Kepler University, Linz)
• Pazzani , M. An Introduction to Artificial Intelligence (University of California, Irvine, 1995)