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").