call_in_module/1¶

call_in_module( +M:G )*

This predicate ensures that both deterministic and non-deterministic execution of the goal $G$ takes place in the context of goal G?