Node:Module Declarations, Next:Public Declarations, Previous:Meta-Predicate Declarations, Up:Declarations
A declaration
:- module(ModuleName, ExportList[, Options]).
where ExportList is a list of predicate specs, declares that the forthcoming predicates should go into the module named ModuleName and that the predicates listed should be exported. See Def Modules, for details.