4.11.13 Obtaining Information about Loaded Modules

• ref-mod-ilm-def: Predicates Defined in a Module
• ref-mod-ilm-vis: Predicates Visible in a Module

The built-in predicate current_predicate/2 can be used to find all the currently loaded module, and where they were loaded from.

current_module(?M)

M is the name of a current module

current_module(?M,?F)

F is the name of the file in which M's module declaration appears