Resumen de lo que aprendimos.

Aquí vemos que es PROLOG:

El Prolog, proviene del francés PROgrammation en LOGique, es un lenguaje para programar artefactos electrónicos mediante el paradigma lógico, con técnicas de producción final interpretada . Es muy conocido en el área de la Ingeniería Informática para investigación en Inteligencia Artificial.

En PROLOG, hay dos formas de cláusulas:

1. Hechos, en los hechos se declaran cosas que son siempre ciertas.
2. Reglas, en las reglas. se especifican las cosas que se pueden deducir. Si es que cumplen ciertas condiciones que nosotros ponemos.

Ejemplos de HECHOS:

• hombre(sergio).
• mujer(maria).

Ejemplos de REGLAS:

• hijo(X,Y):- padre(Y,X).
• hija(X;Y):- padre(Y,X).
•  abuelo(X,Y) :- padre(X,Z), padre(Z,Y).

Existen varias formas de relación en PROLOG.

• Relación unitaria es aquella en la cual hay un solo argumento. nombrerelacion(argumento).
• Relación Binaria es aquella en la cual hay dos argumentos. nombrerelacion(argumento1,argumento2).
• Regla, en ella puede contar con mas de un argumento, por eso lo denomine cuerpo. cabeza(argumentos) :- cuerpo(argumentos).
• nombrerelacion(argumentos) :- rela1(argumentos) [, rela2(argumentos), ... ].
• nombrerelacion(argumentos) :- rela1(argumentos) [; rela2(argumentos); ... ]. 
• nombrerelacion(argumentos) :- rela1(argumentos) [,|; rela2(argumentos),|; ... ].

Ahora veremos algunos ejemplos de las relaciones en PROLOG.

padre(carlos, diego). % carlos es padre de diego.
padre(dario, carlos). % dario es padre de carlos.
padre(mario, maría). % mario es padre de maria.
padre(federico,mario). % federico es padre de mario.
 

hijo(A,B) :- padre(B,A). % A es hijo de B si B es padre de A.

abuelo(A,B) :- 
   padre(A,C), 
   padre(C,B).% A es abuelo de B si A es padre de C y C es padre B.

Por ultimo existen las preguntas, en ellas podemos hacer algunas preguntas, 

de las cuales el programa nos puede arrogar varios resultados, de los cuales son:

1. TRUE
2. FALSE
3. RESPUESTA A UNA VARIABLE QUE LE PUSIMOS.

Ejemplos:

?-  hombre(sergio).    % respuesta true.
?-  hombre(maría).     % respuesta false.
?-  hijo(mario , X).  % respuesta X=federico.
?-  abuelo(federico, X).    %  X=maría.