Miscellany

hijoDe(pedro,jose).
hijoDe(pedro,nadia).
hijoDe(juana,jose).
hijoDe(juana,nadia).
hijoDe(luis,pedro).
hijoDe(luis,ana).
hijoDe(luisa,pedro).
hijoDe(luisa,ana).
hijoDe(antonio,andres).
hijoDe(antonio,mariana).
hijoDe(margarita,andres).
hijoDe(margarita,mariana).
hijoDe(omar,andres).
hijoDe(omar,juana).
hijoDe(ana,andres).
hijoDe(ana,juana).
hijoDe(dalia,pedro).
hijoDe(dalia,margarita).

mujer(juana).
mujer(luisa).
mujer(margarita).
mujer(ana).
mujer(dalia).
mujer(nadia).
mujer(mariana).

hombre(pedro).
hombre(jose).
hombre(luis).
hombre(antonio).
hombre(andres).
hombre(omar).

progenitor(X,Y):-hijoDe(Y,X).
padreDe(X,Y):-progenitor(X,Y),hombre(X).
madreDe(X,Y):-progenitor(X,Y),mujer(X).
hermano(X,Y):-hijoDe(X,Z),hijoDe(Y,Z).
esposo(X,Y):-progenitor(X,Z),progenitor(Y,Z).
cuñado(X,Y):-esposo(X,Z),hermano(Z,Y).

primo(X,Y):-progenitor(W,X),hermano(W,Z),progenitor(Z,Y).
suegro(X,Y):-progenitor(X,Z),esposo(Z,Y).
yerno(X,Y):-suegro(Y,X).
abuelo(X,Y):-progenitor(X,Z),progenitor(Z,Y).