:- module(+ModuleName, +PublicPred).
:- module(+ModuleName, +PublicPred, +Options).
Declares the file in which the declaration appears to be a module-file named ModuleName, with public predicates PublicPred. Must appear as the first term in the file.
atom, must be nonvar
list of simple_pred_spec, must be ground
List of predicate specifications of the form Name/Arity.
list of term, must be ground
A list of zero or more options of the form:
false (the default) or
true. In the
latter case, tracing of the predicates of the module is
disabled (although spypoints can be set), and no source
information is generated at compile time.
The definition of a module is not limited to a single file, because a module-file may contain commands to load other files. If myfile, a module-file for ModuleName, contains an embedded command to load yourfile and if yourfile is not itself a module-file, then all the predicates in yourfile are loaded into module ModuleName.
Exceptions in the context of loading code are printed as error messages.
Declaration not ground.
An argument has the wrong type.
Some arity is an integer < 0, or invalid option given.
Some arity is an integer > 255.
Declaration appeared in a goal, or not first in the file being loaded.
Declaration appeared as a clause.
A module declaration from the Prolog library:
:- module(varnumbers, [ numbervars/1, varnumbers/2, varnumbers/3 ],[ hidden(true) ]).
Module Declarations, ref-mod.