hombre(moises).
hombre(epitacio).
hombre(eutimio).
hombre(joseluis).
hombre(jorge).
hombre(francisco).
mujer(guadalupe).
mujer(estela).
mujer(miriam).
papa_de(epitacio,moises).
papa_de(francisco,estela).
papa_de(eutimio,epitacio).
papa_de(epitacio,joseluis).
papa_de(epitacio,miriam).
papa_de(epitacio,jorge).
mama_de(estela,moises).
mama_de(estela,joseluis).
mama_de(estela,miriam).
mama_de(estela,jorge).
mama_de(refugio,epitacio).
mama_de(guadalupe,estela).

es_hijo_de(X,Y):-papa_de(Y,X).
es_hijom_de(X,Y):-mama_de(Y,X).

abuela_es(X,Y):-mujer(X),es_hijom_de(Y,X),mama_de(Y,_).
