hombre('Victor').

hombre('Rubisel').
hombre('Jose').
hombre('Edgar').
hombre('Julio').
hombre('Miguel').
hombre('Waldo').
mujer('Paula').
mujer('Graciela').
mujer('Yolanda').
padre('Victor','Graciela').
padre('Victor','Yolanda').
padre('Paula','Graciela').
padre('Paula','Yolanda').
padre('Graciela','Edgar').
padre('Graciela','Julio').
padre('Rubisel','Edgar').
padre('Rubisel','Julio').
padre('Yolanda','Miguel').
padre('Yolanda','Waldo').
padre('Jose','Miguel').
padre('Jose','Waldo').
esposos('Paula','Victor').
esposos('Graciela','Rubisel').
esposos('Yolanda','Jose').
esposos('Victor','Paula').
esposos('Rubisel','Graciela').
esposos('Jose','Yolanda').
diferente(X,Y):- X \== Y.
hijo(A,B):-padre(B,A),hombre(A).
hija(A,B):-padre(B,A),mujer(A).
nieto(A,B):-padre(B,C),padre(C,A),hombre(A).%solo es nieto hombre
hermano(A,B):-padre(C,A),padre(C,B),diferente(A,B).
primo(A,B):-padre(C,A),padre(D,B),hermano(C,D),diferente(D,C).
tio(A,B):-padre(C,B),hermano(C,A),hombre(A).
abuelo(A,B):-nieto(B,A).
cuado(A,B):-esposos(B,C),hermano(A,C).
tia(A,B):-padre(C,B),hermano(C,A),mujer(A).
sobrino(A,B):-hijo(A,C),hermano(C,B),hombre(A).
sobrina(A,B):-hija(A,C),hermano(C,B),mujer(A).
suegro(A,B):-hijo(C,A);hija(C,A),esposos(C,B).