current_module/1¶

current_module( ? Mod:atom)* is nondet

Succeeds if M is a user-visible modules. A module is defined as soon as some predicate defined in the module is loaded, as soon as a goal in the module is called, or as soon as it becomes the current type-in module.