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.
The definition of a module is not limited to a single file, because a
module-file may contain commands to load other files. If
a module-file for ModuleName, contains an embedded command to
yourfile and if
yourfile is not itself a module-file, then
all the predicates in
yourfile are loaded into module
If the export list is not properly specified, there will be a warning or error message at compile time.
At compile time: