% Arbol_Genealogico.

pl
% Autor: Pablo_Tibaquich
% Fecha: 14/02/2017

proge(idelfonso, santiago).
proge(idelfonso, rosa).
proge(idelfonso, jose).
proge(carmen, santiago).
proge(carmen, rosa).
proge(carmen, jose).
proge(ortensio, berenice).
proge(ortensio, alfonso).
proge(ortensio, maria).
proge(nieves, berenice).
proge(nieves, alfonso).
proge(nieves, maria).
proge(jose, diego).
proge(jose, jose_jr).
proge(jose, daniela).
proge(jose, damaris).
proge(jose, pablo).
proge(berenice, diego).
proge(berenice, jose_jr).
proge(bernice, daniela).
proge(berenice, damaris).
proge(berenice, pablo).
proge(diego, julian).
proge(maira, julian).
proge(jose_jr, evan).
proge(angelica, evan).

parejas(idelfonso, carmen).
parejas(carmen, idelfonso).
parejas(ortensio, nieves).
parejas(nieves, ortensio).
parejas(jose, berenice).
parejas(berenice, jose).
parejas(diego, maira).
parejas(maira, diego).
parejas(jose_jr, angelica).
parejas(angelica, jose_jr).

hombre(idelfonso). %abuelo_p
hombre(ortensio). %abuelo_m
hombre(jose). %padre
hombre(santiago). %tio_p
hombre(alfonso). %tio_m
hombre(julio). %tio_m
hombre(diego). %hermano
hombre(jose_david). %hermano
hombre(pablo). %yo
hombre(julian). %sobrino
hombre(evan). %sobrino

mujer(carmen). %abuela_p
mujer(nieves). %abuela_m
mujer(berenice). %madre
mujer(rosa). %tia_p
mujer(cristina). %tia_p
mujer(maria). %tia_m
mujer(lilia). %tia_m
mujer(daniela). %hermana
mujer(damaris). %hermana
mujer(maira). %cuada
mujer(angelica). %cuada

padre(X,Y) :- proge(X,Y),hombre(X).
madre(X,Y) :- proge(X,Y),mujer(X).
hijo(X,Y) :- proge(Y,X),hombre(X).
hija(X,Y) :- proge(Y,X),mujer(X).
abuelo(X,Y) :- padre(X,Z),proge(Z,Y).
abuela(X,Y) :- madre(X,Z),proge(Z,Y).
nieto(X,Y) :- proge(Y,Z),proge(Z,X),hombre(X).
nieto(X,Y) :- abuelo(Y,X),hombre(X).
nieto(X,Y) :- abuela(Y,X),hombre(X).
nieta(X,Y) :- proge(Y,Z),proge(Z,X),mujer(X).
nieta(X,Y) :- abuelo(Y,X),mujer(X).
nieta(X,Y) :- abuela(Y,X),mujer(X).
mismo(X,X).
diferente(X,Y) :- not(mismo(X,Y)).
hermanos(X,Y) :- proge(Z,X),proge(Z,Y),diferente(X,Y).
hermano(X,Y) :- hombre(X),proge(Z,X),proge(Z,Y),diferente(X,Y).
hermana(X,Y) :- mujer(X),proge(Z,X),proge(Z,Y),diferente(X,Y).
antepasado(X,Y) :- proge(X,Y).
antepasado(X,Y) :- proge(X,Z),antepasado(Z,Y).
sobrino(X,Y) :- hombre(X),hermanos(Y,Z),proge(Z,X).
sobrina(X,Y) :- mujer(X),hermanos(Y,Z),proge(Z,X).
cunada(X,Y) :- mujer(X),pareja(X,Z),hermanos(Z,Y).
cunada(X,Y) :- mujer(X),pareja(Y,Z),hermanos(Z,X).
cunado(X,Y) :- hombre(X),pareja(X,Z),hermanos(Z,Y).
cunado(X,Y) :- hombre(X),pareja(Y,Z),hermanos(Z,X).
tia(X,Y) :- mujer(X),hermanos(X,Z), proge(Z,Y).
tio(X,Y) :- hombre(X),hermanos(X,Z), proge(Z,Y).
suegro(X,Y) :- hombre(X),pareja(Y,Z),proge(X,Z).
suegra(X,Y) :- mujer(X),pareja(Y,Z),proge(X,Z).
concunado(X,Y) :- hombre(X),pareja(X,W),hermanos(W,Z),pareja(Z,Y).
concunada(X,Y) :- mujer(X),pareja(X,W),hermanos(W,Z),pareja(Z,Y).
yerno(X,Y) :- hombre(X),proge(Y,Z),mujer(Z),pareja(Z,X).
nuera(X,Y) :- mujer(X),proge(Y,Z),hombre(Z),pareja(Z,X).
primo(X,Y) :- hombre(X),proge(Z,X),proge(W,Y),hermanos(Z,W).
prima(X,Y) :- mujer(X),proge(Z,X),proge(W,Y),hermanos(Z,W).