6.2.7 Module 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.