
es_hijo_de(antonio,jesus).
es_hijo_de(estela,francisco).
es_hijo_de(moises,antonio).
es_hijo_de(moises,estela).
es_hombre(jesus).
es_hombre(francisco).
es_mujer(estela).

es_abuelo_de(X,Y):-es_hijo_de(Y,Z),es_hijo_de(Z,X),es_hombre(X).

