% SLD Resolution - Recursive Example

parent(padhraic, liam).
parent(brid, liam).
parent(diarmuid, padhraic).
parent(maire, diarmuid).
ancestor(X,Y) :- parent(X,Y).
ancestor(X,Y) :- parent(X,Z), ancestor(Z,Y).