padre(abuelo, papa1).
padre(abuelo, papa2).
padre(papa1, nieto1).
padre(papa1, nieto2).
padre(papa2, nieto3).

ancestor(X, X).
ancestor(X, Y) :- padre(X, Z), ancestor(Z, Y).