path(X,Y):-par(X,Y).
path(X,Y):-par(X,Z),path(Z,Y).
nocyc(X,Y):-~path(Y,X),path(X,Y).
?-nocyc(a,Y).
