Proyecto en Eclipse.

 

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

 

Deja un comentario

Tu dirección de correo electrónico no será publicada. Los campos necesarios están marcados *

*


6 × tres =

Puedes usar las siguientes etiquetas y atributos HTML: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>