4.11.18 Predicate Summary

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