male(abe). male(homer). male(herbert). male(bart).
ancestor(X, Y) :- parent(X, Y). ancestor(X, Y) :- ancestor(X, Z), parent(Z, Y).