Bibliografía
- Research on Object Oriented Technologies and Systems. (23 de Abril de 2014). Recuperado de The Prolog Development Tool. A Prolog IDE for Eclipse: http://sewiki.iai.uni-bonn.de/research/pdt/docs/v2.1/start
- Blackburn, P., Bos, J., & Striegnitz, K. (2001). Knowledge and database systems laboratory. Recuperado ede Learn Prolog Now!: http://www.dbnet.ece.ntua.gr/~adamo/csbooksonline/prolog-notes.pdf
- González Gutíerrez, F. J. (abril de 2005). Universidad de Cádiz. Recuperado de Apuntes de lógica matemática. 2 Lógica de predicados: http://www2.uca.es/matematicas/Docencia/ESI/1710040/Apuntes/Leccion2.pdf
- Guerra Hernández, A. (5 de Noviembre de 2009). Universidad Veracruzana. Recuperado de Principio de resolución: http://www.uv.mx/aguerra/documents/2011-mpi-04.pdf
- Hanus, M., Kuchen, H., & Moreno-Navarro, J. J. (s.f.). University fo Groningen. Recuperado de Curry: A truly functional logic language: http://www.math.rug.nl/~piter/KR/hanus95curry.pdf
- http://albertolenguajesprogra.blogspot.mx/. (20 de Octubre de 2010). Lenguajes de programación. Recuperado de Problema lógico: http://albertolenguajesprogra.blogspot.mx/2010/10/tarea-5-problema-logico.html
- Mike’s place. (19 de Septiembre de 2012). Mike’s Place. Recuperado de Solving “Missionaries and cannibals problem” with Prolog by using DFS and BFS: http://learnfrommike.blogspot.mx/2012/09/solving-missionaries-and-cannibals.html
- SAOS Lab. (9 de Enero de 2010). SAOS Blog.Recuperado de Brief Overview on Prolog and Installation Procedure of SWI-Prolog on Linux: http://tech.saoslab.com/post/2010/01/09/swi-prolog-demonstration-all-platforms
- swi-prolog. (s.f.). swi-prolog.org. Recuperado de http://www.swi-prolog.org/
- Universidad Técnica Federico Santa María. (s.f.). http://www.inf.utfsm.cl/. Recuperado de Introducción a Prolog: http://www.inf.utfsm.cl/~mcloud/iwi-253/apuntes/apunte05-02-1x.pdf