hombre(yoni).

mujer(cirila).
hombre(jhon).

%paterno
hombre(adrian).
mujer(luisa).

hombre(mariano).
mujer(leonilda).
hombre(mayk).
hombre(edu).

hombre(alipio).
mujer(mabel).
hombre(william).
mujer(kely).

hombre(augusto).
mujer(emma).
hombre(ronald).
mujer(nilda).
mujer(natali).

hombre(fidel).
mujer(lidia).
hombre(freddy).
mujer(marilia).
mujer(edith).

hombre(edwin).
mujer(maria).

hombre(javier).
mujer(luci).
hombre(javier_junior).
mujer(karen).

%materno
hombre(julian_padre).
mujer(alejandra).

hombre(julian_hijo).
mujer(zaida).
hombre(julian_nieto).

mujer(melva).
hombre(edmar).
hombre(anderson).
mujer(mikaela).

mujer(norma).
hombre(nikanor).
mujer(alexandra).
mujer(alejandrita).

hombre(maximo).
mujer(rosa).
%progenitores
%paterno
progenitor(adrian,yoni).
progenitor(adrian,mariano).
progenitor(adrian,alipio).
progenitor(adrian,augusto).
progenitor(adrian,fidel).
progenitor(adrian,edwin).
progenitor(adrian,luci).
progenitor(luisa,yoni).
progenitor(luisa,mariano).
progenitor(luisa,alipio).
progenitor(luisa,augusto).
progenitor(luisa,fidel).
progenitor(luisa,edwin).
progenitor(luisa,luci).

%materno
progenitor(julian_padre,julian_hijo).
progenitor(julian_padre,cirila).
progenitor(julian_padre,melva).
progenitor(julian_padre,maximo).
progenitor(julian_padre,norma).
progenitor(alejandra,julian_hijo).
progenitor(alejandra,cirila).
progenitor(alejandra,melva).
progenitor(alejandra,maximo).
progenitor(alejandra,norma).
%------------------------------
progenitor(yoni,jhon).
progenitor(cirila,jhon).

%paterno
progenitor(mariano,mayk).
progenitor(mariano,edu).
progenitor(leonilda,mayk).
progenitor(leonilda,edu).

progenitor(alipio,william).
progenitor(alipio,kely).
progenitor(mabel,william).
progenitor(mabel,kely).

progenitor(augusto,ronald).
progenitor(augusto,nilda).
progenitor(augusto,natali).
progenitor(emma,ronald).
progenitor(emma,nilda).
progenitor(emma,natali).

progenitor(fidel,freddy).
progenitor(fidel,marilia).
progenitor(fidel,edith).
progenitor(lidia,freddy).
progenitor(lidia,marilia).
progenitor(lidia,edith).

progenitor(luci,javier_junior).
progenitor(luci,karen).
progenitor(luci,melisa).
progenitor(javier,javier_junior).
progenitor(javier,karen).
progenitor(javier,melisa).

%materno
progenitor(julian_hijo,julian_nieto).
progenitor(zaida,julian_nieto).

progenitor(melva,anderson).
progenitor(melva,mikaela).
progenitor(edmar,anderson).
progenitor(edmar,mikaela).

progenitor(norma,alexandra).
progenitor(norma,alenadrita).
progenitor(nikanor,alexandra).
progenitor(nikanor,alejandrita).

%parejas
pareja(adrian,luisa).
pareja(julian_padre,alejandra).

pareja(yoni,cirila).
pareja(mariano,leonilda).
pareja(alipio,mabel).
pareja(augusto,emma).
pareja(fidel,lidia).
pareja(edwin,maria).
pareja(javier,luci).
pareja(julian_hijo,zaida).
pareja(melva,edmar).
pareja(maximo,rosa).
pareja(norma,nikanor).
%reglas
padre(X,Y):-hombre(X),progenitor(X,Y).
madre(X,Y):-mujer(X),progenitor(X,Y).
hermanos(X,Y):-progenitor(Z,X),progenitor(Z,Y), not(X==Y).
hermano(X,Y):-hombre(X),hermanos(X,Y).
hermana(X,Y):-mujer(X),hermanos(X,Y).
esposo(X,Y):-pareja(X,Y),hombre(X).
esposa(X,Y):-pareja(X,Y),mujer(X).
suegro(X,Y):-padre(X,Z),pareja(Y,Z).
suegra(X,Y):-madre(X,Z),esposos(Y,Z).
yerno(X,Y):-suegro(Y,X);suegra(Y,X),hombre(X).
nuera(X,Y):-suegro(Y,X);suegra(Y,X),mujer(X).
cu�ados(X,Y):-((pareja(X,Z),hermanos(Z,Y));(pareja(Y,Z),hermanos(Z,X))).
cu�ado(X,Y):-cu�ados(X,Y),hombre(X).
cu�ada(X,Y):-cu�ados(X,Y),mujer(X).
abuelo(X,Y):-progenitor(Z,Y),padre(X,Z).
abuela(X,Y):-progenitor(Z,Y),madre(X,Z).
nieto(X,Y):-progenitor(Y,Z),progenitor(Z,X),hombre(X).
nieta(X,Y):-progenitor(Y,Z),progenitor(Z,X),mujer(X).
tio(X,Y):-progenitor(Z,Y),(hermano(X,Z);cu�ado(X,Z)).
tia(X,Y):-progenitor(Z,Y),(hermana(X,Z);cu�ada(X,Z)).
primo(X,Y):-progenitor(Z,X),progenitor(W,Y),hermanos(Z,W),hombre(X).
prima(X,Y):-progenitor(Z,X),progenitor(W,Y),hermanos(Z,W),mujer(X).