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)

declares predicates P that are dependent on the module from which they are called

module(M)

makes M the type-in module

module(M,L)

declaration that module M exports predicates in L

save_modules(L,F)

save the modules specifed in L into file F

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