Taller Prolog

UNIVERSIDAD CATOLICA DE COLOMBIA
LOGICA COMPUTACIONAL
2012

Desarrolle los siguientes ejercicios utilizando el software Prolog. Los resultados de este taller serán socializados la siguienteclase.

Es necesario comentar el algoritmo.

1. Supongamos que tenemos el siguiente conocimiento sobre divisibilidad dado en los siguientes predicados:
" 2 divide a 6"
" 2 divide a 12"" 3 divide a 6"
" 3 divide a 12"
" Si un número es divisible por 2 y por 3 entonces es divisible por 6"

Escribir un programa que represente este conocimiento y usarlo para responder alas siguientes preguntas:
¿Existe algún múltiplo de 2?
¿Cuáles son los divisores de 6?
¿Conocemos algún múltiplo de 6?

divide(2,6).
divide(2,4).
divide(2,12).
divide(3,6).
divide(3,12).divide(6,X):-divide(2,X), divide(3,X).

2. Realice en prolog el árbol genealógico de su familia. Tenga en cuenta tres generaciones atrás.

hombre('adan').
hombre('luis').
hombre('jesus').hombre('juan').
hombre('cristian').
hombre('jose').
hombre('nicolas').
mujer('eva').
mujer('nury').
mujer('lupe').
mujer('nohora').

padre('adan','luis').
padre('adan','lupe').padre('eva','luis').
padre('lva','lupe').
padre('luis','juan').
padre('luis','cristian').
padre('nury','juan').
padre('nury','cristian').
padre('jesus','jose').
padre('lupe','jose').padre('jose','nicolas').
padre('nohora','nicolas').

esposos('eva','adan').
esposos('luis','nury').
esposos('jesus','lupe').
esposos('jose','nohora').

esposos('adan','eva').
esposos('nury','luis').esposos('lupe','jesus').
esposos('nohora','jose').

diferente(X,Y):- X \== Y.
hijo(A,B):-padre(B,A),hombre(A).
hija(A,B):-padre(B,A),mujer(A).
nieto(A,B):-padre(B,C),padre(C,A),hombre(A).%solo es nietohombre
hermano(A,B):-padre(C,A),padre(C,B),diferente(A,B).
primo(A,B):-padre(C,A),padre(D,B),hermano(C,D),diferente(D,C).
tio(A,B):-padre(C,B),hermano(C,A),hombre(A).
abuelo(A,B):-nieto(B,A)....