Programa SWI Familia

hombre(alex).
hombre(roberto).
hombre(hector).
hombre(octavio).
hombre(yael).
hombre(jose).
hombre(francisco).
hombre(ricardo).
hombre(leonel).

mujer(karina).
mujer(martha).
mujer(janet).
mujer(sandra).
mujer(itzel).
mujer(arlet).
mujer(karen).
mujer(cruz).
mujer(felicitas).
mujer(elena).
mujer(rosa).

padre(roberto, alex).
padre(roberto, hector).
padre(roberto, janet).padre(hector, karen).
padre(hector, yael).
padre(octavio, arlet).
padre(octavio, itzel).
padre(francisco, roberto).
padre(francisco, ricardo).
padre(francisco, elena).
padre(jose, martha).
padre(jose, rosa).
padre(jose, leonel).

madre(martha, alex).
madre(martha, hector).
madre(martha, janet).
madre(janet, arlet).
madre(janet, itzel).
madre(sandra, yael).
madre(sandra, karen).madre(felicitas, roberto).
madre(felicitas, elena).
madre(felicitas, ricardo).
madre(cruz, martha).
madre(cruz, rosa).
madre(cruz, leonel).

casado(karina, alex).
casado(martha, roberto).
casado(janet, octavio).
casado(sandra, hector).
casado(francisco, felicitas).
casado(jose, cruz).

casado(X, Y) :- casado(Y, X).

hijo(X, Y) :- hombre(X), padre(Y, X).
hijo(X, Y) :- hombre(X),madre(Y, X).

hija(X, Y) :- mujer(X), padre(Y, X).
hija(X, Y) :- mujer(X), madre(Y, X).

hermano(X, Y) :- hombre(X), padre(A, X), padre(A, Y), X \== Y.
hermano(X, Y) :- hombre(X), madre(A, X), madre(A, Y), X \== Y.

hermana(X, Y) :- mujer(X), padre(A, X), padre(A, Y), X \== Y.
hermana(X, Y) :- mujer(X), madre(A, X), madre(A, Y), X \== Y.

abuelo(X, Z) :- hombre(X), padre(X, Y), padre(Y,Z).
abuelo(X, Z) :- hombre(X), padre(X, Y), madre(Y, Z).

abuela(X, Z) :- mujer(X), madre(X, Y), madre(Y, Z).
abuela(X, Z) :- mujer(X), madre(X, Y), padre(Y, Z).

primo(X, Y) :- hombre(X), padre(C, A), padre(C, B), padre(A, X), padre(B, Y), A \== B, X \== Y.
primo(X, Y) :- hombre(X), padre(C, A), padre(C, B), padre(A, X), madre(B, Y), A \== B, X \== Y.
primo(X, Y) :- hombre(X), padre(C, A),padre(C, B), madre(A, X), padre(B, Y), A \== B, X \== Y.
primo(X, Y) :- hombre(X), padre(C, A), padre(C, B), madre(A, X), madre(B, Y), A \== B, X \== Y.
primo(X, Y) :- hombre(X), madre(C, A), madre(C, B), padre(A, X), padre(B, Y), A \== B, X \== Y.
primo(X, Y) :- hombre(X), madre(C, A), madre(C, B), padre(A, X), madre(B, Y), A \== B, X \== Y.
primo(X, Y) :- hombre(X), madre(C, A), madre(C, B),madre(A, X), padre(B, Y), A \== B, X \== Y.
primo(X, Y) :- hombre(X), madre(C, A), madre(C, B), madre(A, X), madre(B, Y), A \== B, X \== Y.

prima(X, Y) :- mujer(X), padre(C, A), padre(C, B), padre(A, X), padre(B, Y), A \== B, X \== Y.
prima(X, Y) :- mujer(X), padre(C, A), padre(C, B), padre(A, X), madre(B, Y), A \== B, X \== Y.
prima(X, Y) :- mujer(X), padre(C, A), padre(C, B), madre(A, X),padre(B, Y), A \== B, X \== Y.
prima(X, Y) :- mujer(X), padre(C, A), padre(C, B), madre(A, X), madre(B, Y), A \== B, X \== Y.
prima(X, Y) :- mujer(X), madre(C, A), madre(C, B), padre(A, X), padre(B, Y), A \== B, X \== Y.
prima(X, Y) :- mujer(X), madre(C, A), madre(C, B), padre(A, X), madre(B, Y), A \== B, X \== Y.
prima(X, Y) :- mujer(X), madre(C, A), madre(C, B), madre(A, X), padre(B, Y), A\== B, X \== Y.
prima(X, Y) :- mujer(X), madre(C, A), madre(C, B), madre(A, X), madre(B, Y), A \== B, X \== Y.

tio(A, X) :- hombre(A), padre(C, A), padre(C, B), padre(B, X), A \== B.
tio(A, X) :- hombre(A), padre(C, A), padre(C, B), madre(B, X), A \== B.
tio(A, X) :- hombre(A), madre(C, A), madre(C, B), padre(B, X), A \== B.
tio(A, X) :- hombre(A), madre(C, A), madre(C, B), madre(B, X), A\== B.

tia(A, X) :- mujer(A), padre(C, A), padre(C, B), padre(B, X), A \== B.
tia(A, X) :- mujer(A), padre(C, A), padre(C, B), madre(B, X), A \== B.
tia(A, X) :- mujer(A), madre(C, A), madre(C, B), padre(B, X), A \== B.
tia(A, X) :- mujer(A), madre(C, A), madre(C, B), madre(B, X), A \== B.

sobrino(X, A) :- hombre(X), padre(C, A), padre(C, B), padre(B, X), A \== B.
sobrino(X, A) :-...