anc(X,Y)	:- par(X,Y).
 anc(X,Y)	:- par(X,Z), anc(Z,Y).

 par(a,b).
 par(b,c).
 par(c,d).
 par(e,f).