Arbol genealogico en prolog

UNIVERSIDAD AUTONOMA DE COLOMBIA | INTELIGENCIA ARTIFICIAL | CLASE No 2831 | CONSECUTIVO 01 |
LAURA MARITZA ROJAS CABALLERO | FECHA ENTREGA:15/02/2012 |


ARBOL GENEALOGICO EN PROLOGLEONOR
CESAR
GLORIA

hombre(`Julio`). %/Julio es hombre
hombre(`Jacky`).
hombre(`Hernan`).
hombre(`David`).
hombre(`Johan`).
hombre(`Adrian`).
hombre(`Felipe`).
hombre(`Cesar`).mujer(`Mariela`).
mujer(`Angela`).
mujer(`Laura`).
mujer(`Gloria`).
mujer(`Leonor`).

padre_de(`Julio`,`Jacky`). %/Julio es padre de Jacky
padre_de(`Julio`,`Laura`).
padre_de(`Julio`,`David`).padre_de(`Mariela`,`Jacky`).
padre_de(`Mariela`,`Laura`).
padre_de(`Mariela`,`David`).
padre_de(`Jacky`,`Johan`).
padre_de(`Jacky`,`Adrian`).
padre_de(`Angela`,`Adrian`).padre_de(`Angela`,`Adrian`).
padre_de(`Laura`,`Felipe`).
padre_de(`Hernan`,`Felipe`).
padre_de (`Cesar`,`Julio`).
padre_de(`Cesar`,`Gloria`).
padre_de(`Leonor`,`Julio`).
padre_de(`Leonor`,`Gloria`).esposo_de(`Julio`,`Mariela`). %Julio es esposo de Mariela
esposo_de(`Jacky`,`Angela`).
esposo_de(`Laura`,`Hernan`).



diferente(X,Y):- X \== Y.
hijo(A,B):-
padre_de(B,A),
hombre(A).

hija(A,B):-padre_de(B,A),
mujer(A).

nieto(A,B):-
padre_de(B,C),
padre_de(C,A),
hombre(A).

hermano(A,B):-
padre_de(C,A),
padre_de(C,B),
diferente(A,B).

primo(A,B):-padre_de(C,A),
padre_de(D,B),
hermano(C,D),
diferente(D,C).

tio(A,B):-
padre_de(C,B),
hermano(C,A),
hombre(A).

abuelo(A,B):-
nieto(B,A).

cuñado(A,B):-esposo_de(B,C),
hermano(A,C).

tia(A,B):-
padre_de(C,B),
hermano(C,A),
mujer(A).

sobrino(A,B):-
hijo(A,C),
hermano(C,B),
hombre(A).

sobrina(A,B):-
hija(A,C),hermano(C,B),
mujer(A).

suegro(A,B):-
hijo(C,A),
hija(C,A),
esposo_de(C,B).

abuelo(A,C):- %/antecesor : A es abuelo de C
padre_de(A,B),
padre_de(B,C),
hombre(A)....