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

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