VISUAL PROLOG

ARBOL GENEALOGICO

PREDICATES

diferente(STRING,STRING)
padre(STRING,STRING)
mujer(STRING)
hombre(STRING)
hijo(STRING,STRING)
hija(STRING,STRING)
nieto(STRING,STRING)
hermano(STRING,STRING)
primo(STRING,STRING)
tio(STRING,STRING)
tia(STRING,STRING)
abuelo(STRING,STRING)
sobrino(STRING,STRING)
esposos(STRING,STRING)
sobrina(STRING,STRING)
sobrinos(STRING,STRING)
bisnieto(STRING,STRING)

CLAUSES
diferente(X,Y):-X<>Y.
hombre("Jose").hombre("Orlando").hombre("Hu mberto").hombre("Jorge").hombre(
"Oscar").hombre("Fernando").hombre("Alvaro").hombre("Jaime").
hombre("Edwin").hombre("JorgeA").hombre("Andres").hombre("JuanM").hombre("
Santiago").hombre("Camilo").hombre("JuanP").hombre("Mateo").
mujer("Margarita").mujer("Rosalba").mujer("Estella").mujer("Gladis").mujer("Marta
").mujer("Patricia").mujer("Paula").mujer("Elizabeth").
mujer("Berta").mujer("DianaM").mujer("Natalia").padre("Jose","Humberto").padre(
"Jose","Orlando").padre("Jose","Jorge").padre("Jose","Oscar").
padre("Jose","Fernando").padre("Jose","Alvaro").padre("Jose","Jaime").padre("Jose
","Margarita").padre("Jose","Rosalba").
padre("Berta","Humberto").padre("Jose","Estella").padre("Jose","Galdis").padre("Jo
se","Marta").padre("Jose","Patricia").
padre("Berta","Orlando").padre("Berta","Jorge").padre("Berta","Oscar").padre("Ber
ta","Fernando").padre("Berta","Alvaro").
padre("Berta","Jaime").padre("Orlando","Elizabeth").padre("Orlando","DianaM").pa
dre("Orlando","Andres").padre("Humberto","Edwin").
padre("Humberto","Paula").padre("Margarita","JorgeA").padre("Rosalba","Liliana").
padre("Liliana","Camilo").padre("Edwin","Mateo").
padre("Marta","JuanM").padre("Marta","JuanP").padre("Jorge","Natalia").

hijo(A,B):-padre(B,A),hombre(B).
hija(A,B):-padre(B,A),mujer(A).
nieto(A,B):-padre(B,C),padre(C,A),hombre(A).
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).
tia(A,B):-padre(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).
esposos(A,B):-hijo(C,A),hijo(C,B);hija(D,A),hija(D,B).
sobrinos(A,B):-sobrina(A,B);sobrino(A,B).
bisnieto(A,B):-padre(C,A),padre(D,C),padre(D,B).

GOAL
%primo(X,"DianaM").
%hermano("Jaime",X).
%abuelo("Jose",X).
%tio(X,"DianaM").
%tia(X,"DianaM").
%hija("DianaM",X).
%sobrino("Edwin",X).
%esposos("Berta",X).
%sobrinos(X,"Jaime").
bisnieto(X,"Jose").