Bibliografía
- J.A. Alonso y J. Borrego. Deducción automática (Vol. 1: Construcción lógica de sistemas lógicos). (Ed. Kronos, 2002).
- J.A. Alonso. Introducción a la programación lógica con Prolog.
- M. Ben-Ari. Mathematical Logic for Computer Science (2nd ed.) (Springer, 2001).
- P. Blackburn, J. Bos y K. Striegnitz. Learn Prolog now!.
- I. Bratko. Prolog programming for artificial intelligence (3E). (Addison-Wesley, 2001),
- A.M. Cheadle, W. Harvey, A.J. Sadler, J. Schimpf, K. Shen y M.G. Wallace. ECLiPSe: A tutorial introduction.
- W.F. Clocksin y C.S. Mellish. Programming in Prolog. (Springer Verlag, 2003).
- T. Cornell. Introduction to Prolog. (Universität Tübingen, 1998).
- M.A. Covington. Efficient Prolog: A practical guide.
- A. Csenki. Applications of Prolog. (Bookbook, 2009).
- U. Endriss. An introduction to Prolog programming.
- W. Ertel. Introduction to artificial intelligence (2E). (Springer Verlag, 2017).
- M. Fitting. First-order logic and automated theorem proving (2nd ed.) (Springer, 1995).
- P. Flach. Simply logical (Intelligent reasoning by example). (John Wiley, 1994)
- M.R. Genesereth y N.J. Nilsson. Logical foundations of artificial intelligence.
- M. Ginsberg. Essentials of Artificial Intelligence. (Morgan Kaufmann, 1993).
- P. Lucas y L.v.d. Gaag. Principles of expert systems. (Addison–Wesley, 1991).
- K. Marriott y P.J. Stuckey. Programming with constraints (An introduction). (The MIT Press, 1998).
- D. Merrit. Building expert systems in Prolog. (Amzi! inc., 2000).
- A. Nerode y E.A. Shore. Logic for applications. (Springer, 1997)
- N.J. Nilsson y N.J. Nilsson Artificial intelligence: A new synthesis.
- U. Nilsson y J. Maluszynski Logic, programming and Prolog (2nd ed.)
- D. Poole y A. Mackworth. Artificial intelligence: Foundations of computational agents. (Cambridge University Press, 2010).
- D. Poole, A. Mackworth y R. Goebel. Computational intelligence (A logical approach)} (Oxford University Press, 1998)
- E. Rich y K. Knight, K. Inteligencia artificial (segunda edición). (McGraw–Hill Interamericana, 1994).
- S. Russell y P. Norvig. Artificial intelligence: A modern approach. (Pearson, 2010).
- P. Saint-Dizier. An introduction to programming in Prolog. (Springer Verlag, 1990).
- Y. Shoham. Artificial intelligence techniques in Prolog. (Morgan Kaufmann, 1994)
- T. Smith. Artificial intelligence programming in Prolog. (Univ. of Edinburgh, 2004).
- J.M. Spivey Introduction to logic programming through Prolog. (Prentice-Hall International, 1996).
- L. Sterling y E. Shapiro. The art of Prolog (2E). (The MIT Press, 1994)
- M. Triska. Boolean constraints in SWI-Prolog: A comprehensive system description.
- M. Triska. CLP(B): Constraint logic programming over boolean variables.
- M. Triska. CLP(FD) and CLP(ℤ): Prolog integer arithmetic.
- M. Triska. CLP(ℤ): Constraint logic programming over integers.
- M. Triska. Combinatorial optimization with Prolog.
- M. Triska. Logic puzzles with Prolog.
- M. Triska The power of Prolog.
- T. Van Le. Techniques of Prolog programming. (John Wiley, 1993)
- J. Wielemaker. SWI–Prolog (Reference manual).