Family relations

Facts and simple recursion.

parent(tom, bob).
parent(bob, ann).

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

?- ancestor(tom, ann).
true.