db(parent/2).
db(person/1).

derive_idb_literals(yes).

sg(X, X) :- person(X).
sg(X, Y) :- parent(X, Xp), call(sg(Xp, Yp)), parent(Y, Yp).

:- sg(a, X).