Empezando el curso Prolog

Bueno para empezar ¿qué es Prolog?, prolog es el nombre que se le fue asignado a la programacion lógica, esta programacion empieza más o menos en los 70's por por Alain Colmerauer, esta basada en la logica matemática, la forma de como solucionar problemas en prolog es muy diferente a las otras formas de programar ya que es solo declartativa que quiero decir con esto que vamos a darle al programa las bases para que el trabaje por si solo, declaramos unas lineas y despues hacemos un par de preguntas.

 

El lenguaje Prolog tiene un mecanismo no muy complejo, podemos desarrollarlo en una hoja de texto y despues compilarlo para eso utilizaremos el programa swi-prolog que se puede descargar de la pagina http://www.swi-prolog.org/ debemos tomar en cuenta el  tipo de sistemal operativo al cual es compatible. 

 

Pero una de las cosas importantes para lograr un funcionamineto correcto en  Prolog es tomar en cuenta que las clausulas deben tener una secuencia de tres tipos:

a).- Hechos, declaran las cosas que son incondicionalmente ciertas.

Al parecer son las llamadas unarias un ejemplo de ello es:

padre(alejandro).   "Esta es la forma declarativa en prolog. Es cierta pues la relacion padre definitivamente solo involucra a alejandro".

b).- Reglas, especifican qué cosas se pueden deducir, si es que se cumplen ciertas
condiciones.

c).- Preguntas, permiten que el usuario pida alguna información derivable de los hechos y
las reglas del programa.