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