PROGRAMANDO EN PROLOG

Buenas compañeros en esta ocasión les hablare un poco del lenguaje llamado prolog.
El prolog es un lenguaje lógico programable por lo general estos tipos de lenguajes son dirigidos a la área
de inteligencia artificial.
En este lenguaje las instrucciones se ejecutan en orden en las que va o como se escribieron.
Los datos se pueden declarar en las clausulas para decir que son reales o caracteres.
Los hechos son aquellos que siempre son ciertos y por lo general esto siempre va en el predicado,
Los goal son las oraciones o instrucciones en donde se muestra el resultado de nuestro programa por ejemplo un programa puede ir sin estos pero al correr el programa nosotros o el usuario tendrá que decir el goal que quiere si no esta definido en el programa.
Esto es una información breve de lo que es prolog y a continuación les dejo un programa simple o común para prolog este les dice que si una persona es cuñado de alguien pero las personas ya están declaradas en el domino pues aquí se los dejo :


predicates
personas(symbol)
esposos(symbol,symbol)
cunado(symbol,symbol)
hermanos(symbol,symbol)

clauses
cunado(X,Y):-
esposos(Z,Y),
hermanos(X,Z).

personas(pedro).
personas(luis).
personas(ana).
personas(antonio).
personas(elsa).
personas(juan).
personas(carlos).

esposos(luis,ana).
esposos(antonio,elsa).

hermanos(pedro,luis).
hermanos(juan,luis).
hermanos(carlos,juan).
hermanos(elsa,luis).

Cual quier duda o sugerencia es bienvenida atte: Alex