ancestors(L)

Unifies  L  with a list of ancestor goals for the current clause.  The list
starts  with  the parent goal and ends with the most recent ancestor coming
from a 'call' in a compiled clause.