sg(X,X) :- person(X).
sg(X,Y):-par(X,Xp),sg(Xp,Yp),par(Y,Yp).
?-sg(j,Y)
