Definição de progenitior e ancesatral em Prolog

progenitor(X,Y) :- pai(X,Y).
progenitor(X,Y) :- mae(X,Y).

ancestral(X,Y) :- progenitor(X,Y).
ancestral(X,Y) :- ancestral(X,Z),ancestral(Z,X).