prolog:called

[semidet,multifile]prolog:called_by(+Goal, +Module, +Context, -Called)

True when Called is a list of callable terms called from Goal, handled by the predicate Module:Goal and executed in the context of the module Context. Elements of Called may be qualified. If not, they are called in the context of the module Context.