You are on page 1of 9

%HECHOPORYO

%JAZIVE-GOMORA-COLIN

%hombres
hombre(esteban).
hombre(moises).
hombre(bernardo).
hombre(alvaro).
hombre(ramiro).
hombre(einar).
hombre(eric).
hombre(eriC).
hombre(erIC).
hombre(eduardo).
hombre(andreS).
hombre(andres).
hombre(gonzalo).
hombre(gonzalO).
hombre(tadeo).
hombre(salomon).
hombre(ruben).
hombre(rubeN).
hombre(estebaN).
hombre(victor).
hombre(victoR).
hombre(andrES).
hombre(federico).
hombre(gerardo).
hombre(salvador).
hombre(salvadoR).
hombre(romaN).
hombre(roman).
hombre(alvarO).
hombre(daniel).
hombre(angel).
hombre(alejandro).
hombre(samuel).
hombre(enrique).
hombre(enriquE).
hombre(leonardo).
hombre(jesus).
hombre(aron).
hombre(aroN).
hombre(franciscoulises).
hombre(onan).
hombre(victor).
hombre(victoR).
hombre(moiseS).
hombre(alex).
hombre(sergio).
hombre(sergiO).
hombre(jesuS).
hombre(hugo).

%mujeres
mujer(victoria).
mujer(isabel).
mujer(eustolia).
mujer(mercedes).
mujer(mercedeS).
mujer(guadalupe).
mujer(guadalupE).
mujer(guadaluPE).
mujer(felipa).
mujer(miriam).
mujer(miriaM).
mujer(miriAM).
mujer(jazive).
mujer(selene).
mujer(dafne).
mujer(celeste).
mujer(tomasa).
mujer(xochitl).
mujer(lina).
mujer(diana).
mujer(susana).
mujer(loreli).
mujer(belen).
mujer(beleN).
mujer(danka).
mujer(diosdedit).
mujer(lizandra).
mujer(beatriz).
mujer(camila).
mujer(fernanda).
mujer(wendy).
mujer(blanca).
mujer(ana).
mujer(gabriela).
mujer(mariafernanda).
mujer(blancaberenice).
mujer(dianalaura).
mujer(natalia).
mujer(ada).
mujer(victoria).
mujer(ximena).
mujer(nancy).
mujer(aylin).
mujer(carolina).

%familiapaterna

padre(esteban,victoria).
padre(esteban,bernardo).
padre(esteban,isabel).
padre(esteban,guadalupE).
padre(esteban,mercedes).
padre(esteban,felipa).
padre(esteban,alvaro).
madre(eustolia,victoria).
madre(eustolia,bernardo).
madre(eustolia,isabel).
madre(eustolia,guadalupE).
madre(eustolia,mercedes).
madre(eustolia,felipa).
madre(eustolia,alvaro).
padre(bernardo,eric).
padre(bernardo,susana).
padre(bernardo,loreli).
padre(bernardo,bernardo).
madre(tomasa,eric).
madre(tomasa,susana).
madre(tomasa,loreli).
madre(tomasa,bernardo).
padre(eric,eriC).
padre(eric,guadalUPE).
madre(alma,eriC).
madre(alma,guadalUPE).
madre(loreli,eduardo).
padre(mario,eduardo).
casados(mario,loreli).
casados(eric,alma).

madre(victoria,xochitl).
madre(victoria,lina).
padre(salomon,xochitl).
padre(salomon,lina).
madre(xochitl,einar).
madre(xochitl,diana).
padre(ramiro,einar).
padre(ramiro,diana).
casados(xochitl,ramiro).
casados(lina,francisco).

madre(isabel,belen).
madre(isabel,andres).
madre(isabel,lizandra).
padre(andrES,belen).
padre(andrES,andres).
padre(andrES,lizandra).
madre(belen,beleM).
madre(belen,danka).
madre(belen,diosdedit).
padre(erIC,beleM).
padre(erIC,danka).
padre(erIC,diosdedit).
casados(belen,erIC).

madre(guadalupe,gonzalO).
madre(guadalupe,tadeo).
padre(gonzalo,gonzalO).
padre(gonzalo,tadeo).

madre(mercedes,rubeN).
padre(ruben,rubeN).

madre(felipa,andreS).
madre(felipa,victoR).
madre(felipa,beatriz).
madre(felipa,federico).
madre(felipa,brenda).
madre(felipa,gerardo).
padre(esteban,andreS).
padre(esteban,victoR).
padre(esteban,beatriz).
padre(esteban,federico).
padre(esteban,brenda).
padre(esteban,gerardo).
madre(beatriz,camila).
madre(beatriz,fernanda).
madre(beatriz,salvador).
padre(salvador,salvadoR).
padre(salvador,camila).
padre(salvador,fernanda).
madre(brenda,wendy).
padre(roman,wendy).
casados(beatriz,salvador).
casados(brenda,roman).

padre(alvaro,miriaM).
padre(alvaro,jazive).
padre(alvaro,selene).
padre(alvaro,dafne).
padre(alvaro,alvarO).
padre(alvaro,daniel).
padre(alvaro,celeste).
padre(alvaro,angel).
madre(miriam,miriaM).
madre(miriam,jazive).
madre(miriam,selene).
madre(miriam,dafne).
madre(miriam,alvarO).
madre(miriam,daniel).
madre(miriam,celeste).
madre(miriam,angel).

casados(esteban,eustolia).
casados(victoria,salomon).
casados(bernardo,tomasa).
casados(isabel,andres).
casados(guadalupe,gonzalo).
casados(mercedes,ruben).
casados(felipa,esteban).
casados(alvaro,miriam).

casados(eustolia,esteban).
casados(salomon,victoria).
casados(tomasa,bernardo).
casados(andres,isabel).
casados(gonzalo,guadalupe).
casados(ruben,mercedes).
casados(esteban,felipa).

%familiamaterna

padre(moises,miriam).
padre(moises,alejandro).
padre(moises,samuel).
padre(moises,enrique).
padre(moises,blanca).
padre(moises,ana).
padre(moises,gabriela).
padre(moises,moiseS).
padre(moises,guadaluPE).
madre(mercedeS,miriam).
madre(mercedeS,alejandro).
madre(mercedeS,samuel).
madre(mercedeS,enrique).
madre(mercedeS,blanca).
madre(mercedeS,ana).
madre(mercedeS,gabriela).
madre(mercedeS,moiseS).
madre(mercedeS,guadaluPE).

padre(enrique,enriquE).
padre(enrique,leonardo).
madre(miriAM,enriquE).
madre(miriAM,leonardo).

madre(blanca,mariafernanda).
madre(blanca,blancaberenice).
madre(blanca,franciscoulises).
padre(jesus,mariafernanda).
padre(jesus,blancaberenice).
padre(jesus,franciscoulises).

madre(ana,dianalaura).
madre(ana,onan).
madre(ana,aroN).
padre(aron,dianalaura).
padre(aron,onan).
padre(aron,aroN).
madre(dianalaura,natalia).
padre(marco,natalia).
casados(dianalaura,marco).

madre(gabriela,victoria).
madre(gabriela,ada).
madre(gabriela,victoR).
padre(victor,victoria).
padre(victor,ada).
padre(victor,victoR).

madre(nancy,ximena).
madre(nancy,alex).
padre(moiseS,ximena).
padre(moiseS,alex).

madre(guadaluPE,jesuS).
madre(guadaluPE,hugo).
madre(guadaluPE,sergiO).
padre(sergio,jesuS).
padre(sergio,hugo).
padre(sergio,sergiO).
padre(sergiO,carolina).
madre(aylin,carolina).
casados(sergiO,aylin).

casados(moises,mercedeS).
casados(enrique,miriAM).
casados(blanca,jesus).
casados(ana,aron).
casados(gabriela,victor).
casados(moiseS,nancy).
casados(guadaluPE,sergio).
casados(miriam,alvaro).

casados(mercedeS,moises).
casados(miriAM,enrique).
casados(jesus,blanca).
casados(aron,ana).
casados(victor,gabriela).
casados(nancy,moiseS).
casados(sergio,guadaluPE).

%PREDICADOS

%verificarquesonhij@s
hijo(X,Y):-padre(Y,X),hombre(X).
hijo(X,Y):-madre(Y,X),hombre(X).
hija(X,Y):-padre(Y,X),mujer(X).
hija(X,Y):-madre(Y,X),mujer(X).

%verificarniet@s
nieto(Z,X):-padre(X,Y),padre(Y,Z),hombre(Z),Z\==X.
nieto(Z,X):-padre(X,Y),madre(Y,Z),hombre(Z),Z\==X.
nieto(Z,X):-madre(X,Y),padre(Y,Z),hombre(Z),Z\==X.
nieto(Z,X):-madre(X,Y),madre(Y,Z),hombre(Z),Z\==X.
nieta(Z,X):-padre(X,Y),padre(Y,Z),mujer(Z),Z\==X.
nieta(Z,X):-madre(X,Y),madre(Y,Z),mujer(Z),Z\==X.
nieta(Z,X):-madre(X,Y),padre(Y,Z),mujer(Z),Z\==X.
nieta(Z,X):-padre(X,Y),madre(Y,Z),mujer(Z),Z\==X.

%verificaabuel@s
abuelo(X,Z):-padre(X,Y),padre(Y,Z),X\==Z.
abuelo(X,Z):-padre(X,Y),madre(Y,Z),X\==Z.
abuela(X,Z):-madre(X,Y),madre(Y,Z),X\==Z.
abuela(X,Z):-madre(X,Y),padre(Y,Z),X\==Z.

%verificarherman@s
%hermano(X,Z):-padre(Y,X),padre(Y,Z),madre(Y,X),madre(Y,Z),hombre(X).
%hermana(X,Z):-padre(Y,X),padre(Y,Z),madre(Y,X),madre(Y,Z),mujer(X).

%verificaherman@s
hermano(X,Z):-madre(Y,X),madre(Y,Z),hombre(X),X\==Z.
hermana(X,Z):-madre(Y,X),madre(Y,Z),mujer(X),X\==Z.
hermano(X,Z):-padre(Y,X),padre(Y,Z),hombre(X),X\==Z.
hermana(X,Z):-padre(Y,X),padre(Y,Z),mujer(X),X\==Z.

%verificarprim@s
primo(V,Z):-padre(W,V),padre(X,W),padre(Y,Z),padre(X,Y),hombre(V),V\==Z.
primo(V,Z):-madre(W,V),padre(X,W),padre(Y,Z),padre(X,Y),hombre(V),V\==Z.
primo(V,Z):-padre(W,V),padre(X,W),madre(Y,Z),padre(X,Y),hombre(V),V\==Z.
primo(V,Z):-madre(W,V),padre(X,W),madre(Y,Z),padre(X,Y),hombre(V),V\==Z.
primo(V,Z):-padre(W,V),madre(X,W),padre(Y,Z),madre(X,Y),hombre(V),V\==Z.
primo(V,Z):-madre(W,V),madre(X,W),padre(Y,Z),madre(X,Y),hombre(V),V\==Z.
primo(V,Z):-padre(W,V),madre(X,W),madre(Y,Z),madre(X,Y),hombre(V),V\==Z.
primo(V,Z):-madre(W,V),madre(X,W),madre(Y,Z),madre(X,Y),hombre(V),V\==Z.
prima(V,Z):-padre(W,V),padre(X,W),padre(Y,Z),padre(X,Y),mujer(V),V\==Z.
prima(V,Z):-madre(W,V),padre(X,W),padre(Y,Z),padre(X,Y),mujer(V),V\==Z.
prima(V,Z):-padre(W,V),padre(X,W),madre(Y,Z),padre(X,Y),mujer(V),V\==Z.
prima(V,Z):-madre(W,V),padre(X,W),madre(Y,Z),padre(X,Y),mujer(V),V\==Z.
prima(V,Z):-padre(W,V),madre(X,W),padre(Y,Z),madre(X,Y),mujer(V),V\==Z.
prima(V,Z):-madre(W,V),madre(X,W),padre(Y,Z),madre(X,Y),mujer(V),V\==Z.
prima(V,Z):-padre(W,V),madre(X,W),madre(Y,Z),madre(X,Y),mujer(V),V\==Z.
prima(V,Z):-madre(W,V),madre(X,W),madre(Y,Z),madre(X,Y),mujer(V),V\==Z.

%verificarsuegr@s
suegro(X,Z):-casados(Y,Z),padre(X,Y),X\==Z.
suegra(X,Z):-casados(Y,Z),madre(X,Y),X\==Z.

%yernoYnuera
yerno(Z,X):-casados(Y,Z),padre(X,Y),X\==Z,hombre(Z).
yerno(Z,X):-casados(Y,Z),madre(X,Y),X\==Z,hombre(Z).
nuera(Z,X):-casados(Y,Z),madre(X,Y),X\==Z,mujer(Z).
nuera(Z,X):-casados(Y,Z),padre(X,Y),X\==Z,mujer(Z).

%verificarsobrin@s
sobrino(W,Z):-padre(Y,X),padre(Y,Z),padre(X,W),hombre(W),W\==Z.
sobrino(W,Z):-padre(Y,X),padre(Y,Z),madre(X,W),hombre(W),W\==Z.
sobrino(W,Z):-madre(Y,X),madre(Y,Z),madre(X,W),hombre(W),W\==Z.
sobrino(W,Z):-madre(Y,X),madre(Y,Z),padre(X,W),hombre(W),W\==Z.
sobrina(W,Z):-padre(Y,X),padre(Y,Z),padre(X,W),mujer(W),W\==Z.
sobrina(W,Z):-padre(Y,X),padre(Y,Z),madre(X,W),mujer(W),W\==Z.
sobrina(W,Z):-madre(Y,X),madre(Y,Z),madre(X,W),mujer(W),W\==Z.
sobrina(W,Z):-madre(Y,X),madre(Y,Z),padre(X,W),mujer(W),W\==Z.

%verificarcunad@s
cuñado(Z,W):-casados(Y,Z),padre(X,Y),padre(X,W),hombre(Z),Z\==W.
cuñado(Z,W):-casados(Y,Z),madre(X,Y),madre(X,W),hombre(Z),Z\==W.
cuñada(Z,W):-casados(Y,Z),padre(X,Y),padre(X,W),mujer(Z),Z\==W.
cuñada(Z,W):-casados(Y,Z),madre(X,Y),madre(X,W),mujer(Z),Z\==W.

%verificarTi@s
tio(Z,W):-padre(Y,X),padre(Y,Z),padre(X,W),hombre(Z),Z\==W.
tio(Z,W):-padre(Y,X),padre(Y,Z),madre(X,W),hombre(Z),Z\==W.
tio(Z,W):-madre(Y,X),madre(Y,Z),madre(X,W),hombre(Z),Z\==W.
tio(Z,W):-madre(Y,X),madre(Y,Z),padre(X,W),hombre(Z),Z\==W.
tia(Z,W):-padre(Y,X),padre(Y,Z),padre(X,W),mujer(Z),Z\==W.
tia(Z,W):-padre(Y,X),padre(Y,Z),madre(X,W),mujer(Z),Z\==W.
tia(Z,W):-madre(Y,X),madre(Y,Z),madre(X,W),mujer(Z),Z\==W.
tia(Z,W):-madre(Y,X),madre(Y,Z),padre(X,W),mujer(Z),Z\==W.

%bisabuel@s
bisabuelo(W,Z):-padre(Y,Z),padre(X,Y),padre(W,X),hombre(W),W\==Z.
bisabuelo(W,Z):-padre(Y,Z),padre(X,Y),madre(W,X),hombre(W),W\==Z.
bisabuelo(W,Z):-padre(Y,Z),madre(X,Y),padre(W,X),hombre(W),W\==Z.
bisabuelo(W,Z):-madre(Y,Z),padre(X,Y),padre(W,X),hombre(W),W\==Z.
bisabuelo(W,Z):-madre(Y,Z),madre(X,Y),padre(W,X),hombre(W),W\==Z.
bisabuelo(W,Z):-madre(Y,Z),padre(X,Y),madre(W,X),hombre(W),W\==Z.
bisabuelo(W,Z):-padre(Y,Z),madre(X,Y),madre(W,X),hombre(W),W\==Z.
bisabuelo(W,Z):-madre(Y,Z),madre(X,Y),madre(W,X),hombre(W),W\==Z.
bisabuela(W,Z):-padre(Y,Z),padre(X,Y),padre(W,X),mujer(W),W\==Z.
bisabuela(W,Z):-padre(Y,Z),padre(X,Y),madre(W,X),mujer(W),W\==Z.
bisabuela(W,Z):-padre(Y,Z),madre(X,Y),padre(W,X),mujer(W),W\==Z.
bisabuela(W,Z):-madre(Y,Z),padre(X,Y),padre(W,X),mujer(W),W\==Z.
bisabuela(W,Z):-madre(Y,Z),madre(X,Y),padre(W,X),mujer(W),W\==Z.
bisabuela(W,Z):-madre(Y,Z),padre(X,Y),madre(W,X),mujer(W),W\==Z.
bisabuela(W,Z):-padre(Y,Z),madre(X,Y),madre(W,X),mujer(W),W\==Z.
bisabuela(W,Z):-madre(Y,Z),madre(X,Y),madre(W,X),mujer(W),W\==Z.
%bisniet@s
bisnieto(Z,W):-padre(Y,Z),padre(X,Y),padre(W,X),hombre(Z),Z\==W.
bisnieto(Z,W):-padre(Y,Z),padre(X,Y),madre(W,X),hombre(Z),Z\==W.
bisnieto(Z,W):-padre(Y,Z),madre(X,Y),padre(W,X),hombre(Z),Z\==W.
bisnieto(Z,W):-madre(Y,Z),padre(X,Y),padre(W,X),hombre(Z),Z\==W.
bisnieto(Z,W):-madre(Y,Z),madre(X,Y),padre(W,X),hombre(Z),Z\==W.
bisnieto(Z,W):-madre(Y,Z),padre(X,Y),madre(W,X),hombre(Z),Z\==W.
bisnieto(Z,W):-padre(Y,Z),madre(X,Y),madre(W,X),hombre(Z),Z\==W.
bisnieto(Z,W):-madre(Y,Z),madre(X,Y),madre(W,X),hombre(Z),Z\==W.
bisnieta(Z,W):-padre(Y,Z),padre(X,Y),padre(W,X),mujer(Z),Z\==W.
bisnieta(Z,W):-padre(Y,Z),padre(X,Y),madre(W,X),mujer(Z),Z\==W.
bisnieta(Z,W):-padre(Y,Z),madre(X,Y),padre(W,X),mujer(Z),Z\==W.
bisnieta(Z,W):-madre(Y,Z),padre(X,Y),padre(W,X),mujer(Z),Z\==W.
bisnieta(Z,W):-madre(Y,Z),madre(X,Y),padre(W,X),mujer(Z),Z\==W.
bisnieta(Z,W):-madre(Y,Z),padre(X,Y),madre(W,X),mujer(Z),Z\==W.
bisnieta(Z,W):-padre(Y,Z),madre(X,Y),madre(W,X),mujer(Z),Z\==W.
bisnieta(Z,W):-madre(Y,Z),madre(X,Y),madre(W,X),mujer(Z),Z\==W.

%sobrinossegundos(hijosdemisprimos)
sobrino2(Z,U):-
padre(Y,Z),padre(X,Y),padre(W,X),padre(W,V),padre(V,U),hombre(Z),Z\==U.
sobrino2(Z,U):-
madre(Y,Z),padre(X,Y),padre(W,X),padre(W,V),padre(V,U),hombre(Z),Z\==U.
sobrino2(Z,U):-
madre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),padre(V,U),hombre(Z),Z\==U.
sobrino2(Z,U):-
madre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),padre(V,U),hombre(Z),Z\==U.
sobrino2(Z,U):-
madre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),madre(V,U),hombre(Z),Z\==U.
sobrino2(Z,U):-
padre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),madre(V,U),hombre(Z),Z\==U.
sobrino2(Z,U):-
padre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),madre(V,U),hombre(Z),Z\==U.
sobrino2(Z,U):-
padre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),padre(V,U),hombre(Z),Z\==U.
sobrino2(Z,U):-
padre(Y,Z),padre(X,Y),madre(W,X),madre(W,V),padre(V,U),hombre(Z),Z\==U.
sobrino2(Z,U):-
padre(Y,Z),padre(X,Y),madre(W,X),madre(W,V),madre(V,U),hombre(Z),Z\==U.
sobrino2(Z,U):-
madre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),madre(V,U),hombre(Z),Z\==U.
sobrino2(Z,U):-
padre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),padre(V,U),hombre(Z),Z\==U.

sobrina2(Z,U):-
padre(Y,Z),padre(X,Y),padre(W,X),padre(W,V),padre(V,U),mujer(Z),Z\==U.
sobrina2(Z,U):-
madre(Y,Z),padre(X,Y),padre(W,X),padre(W,V),padre(V,U),mujer(Z),Z\==U.
sobrina2(Z,U):-
madre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),padre(V,U),mujer(Z),Z\==U.
sobrina2(Z,U):-
madre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),padre(V,U),mujer(Z),Z\==U.
sobrina2(Z,U):-
madre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),madre(V,U),mujer(Z),Z\==U.
sobrina2(Z,U):-
padre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),madre(V,U),mujer(Z),Z\==U.
sobrina2(Z,U):-
padre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),madre(V,U),mujer(Z),Z\==U.
sobrina2(Z,U):-
padre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),padre(V,U),mujer(Z),Z\==U.
sobrina2(Z,U):-
padre(Y,Z),padre(X,Y),madre(W,X),madre(W,V),padre(V,U),mujer(Z),Z\==U.
sobrina2(Z,U):-
padre(Y,Z),padre(X,Y),madre(W,X),madre(W,V),madre(V,U),mujer(Z),Z\==U.
sobrina2(Z,U):-
madre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),madre(V,U),mujer(Z),Z\==U.
sobrina2(Z,U):-
padre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),padre(V,U),mujer(Z),Z\==U.

%tiossegundos(primosdemispapas)
tio2(U,Z):-padre(Y,Z),padre(X,Y),padre(W,X),padre(W,V),padre(V,U),hombre(U),U\==Z.
tio2(U,Z):-madre(Y,Z),padre(X,Y),padre(W,X),padre(W,V),padre(V,U),hombre(U),U\==Z.
tio2(U,Z):-madre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),padre(V,U),hombre(U),U\==Z.
tio2(U,Z):-madre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),padre(V,U),hombre(U),U\==Z.
tio2(U,Z):-madre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),madre(V,U),hombre(U),U\==Z.
tio2(U,Z):-padre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),madre(V,U),hombre(U),U\==Z.
tio2(U,Z):-padre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),madre(V,U),hombre(U),U\==Z.
tio2(U,Z):-padre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),padre(V,U),hombre(U),U\==Z.
tio2(U,Z):-padre(Y,Z),padre(X,Y),madre(W,X),madre(W,V),padre(V,U),hombre(U),U\==Z.
tio2(U,Z):-padre(Y,Z),padre(X,Y),madre(W,X),madre(W,V),madre(V,U),hombre(U),U\==Z.
tio2(U,Z):-madre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),madre(V,U),hombre(U),U\==Z.
tio2(U,Z):-padre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),padre(V,U),hombre(U),U\==Z.

tia2(U,Z):-padre(Y,Z),padre(X,Y),padre(W,X),padre(W,V),padre(V,U),mujer(U),U\==Z.
tia2(U,Z):-madre(Y,Z),padre(X,Y),padre(W,X),padre(W,V),padre(V,U),mujer(U),U\==Z.
tia2(U,Z):-madre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),padre(V,U),mujer(U),U\==Z.
tia2(U,Z):-madre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),padre(V,U),mujer(U),U\==Z.
tia2(U,Z):-madre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),madre(V,U),mujer(U),U\==Z.
tia2(U,Z):-padre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),madre(V,U),mujer(U),U\==Z.
tia2(U,Z):-padre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),madre(V,U),mujer(U),U\==Z.
tia2(U,Z):-padre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),padre(V,U),mujer(U),U\==Z.
tia2(U,Z):-padre(Y,Z),padre(X,Y),madre(W,X),madre(W,V),padre(V,U),mujer(U),U\==Z.
tia2(U,Z):-padre(Y,Z),padre(X,Y),madre(W,X),madre(W,V),madre(V,U),mujer(U),U\==Z.
tia2(U,Z):-madre(Y,Z),madre(X,Y),padre(W,X),padre(W,V),madre(V,U),mujer(U),U\==Z.
tia2(U,Z):-padre(Y,Z),madre(X,Y),madre(W,X),madre(W,V),padre(V,U),mujer(U),U\==Z.

%concuñ@s
concuño(V,Z):-casados(Y,Z),casados(W,V),padre(X,Y),hombre(V),V\==Z.
concuño(V,Z):-casados(Y,Z),casados(W,V),madre(X,Y),hombre(V),V\==Z.
concuña(V,Z):-casados(Y,Z),casados(W,V),padre(X,Y),mujer(V),V\==Z.
concuña(V,Z):-casados(Y,Z),casados(W,V),madre(X,Y),mujer(V),V\==Z.

%espos@s
esposo(X,Y):-casados(X,Y),hombre(X),X\==Y.
esposa(X,Y):-casados(X,Y),mujer(X),X\==Y.

You might also like