stack_parents(+Stack, -Parents) is det[private]
Get the direct callers from Stack. Stack contains both previous proved stacks as well as the current list of parents.