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