11.2.17 Modules

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
meta_predicate :P declaration
declares predicates P that are dependent on the module from which they are called
module(+M,+L) declaration
module(+M,+L,+O) declaration
declaration that module M exports predicates in L, options O
save_modules(+L,+F)
save the modules specifed in L into file F
set_module(+M)
make M the type-in module
use_module(:F)
import the module-file(s) F, loading them if necessary
use_module(:F,+I)
import the procedure(s) I from the module-file F
use_module(?M,:F,+I)
import I from module M, loading module-file F if necessary

Send feedback on this subject.