+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.