- Reference manual
- Why Use Modules?
- Defining a Module
- Importing Predicates into a Module
- Defining a meta-predicate
- Overruling Module Boundaries
- Interacting with modules from the top level
- Composing modules from other modules
- Operators and modules
- Dynamic importing using import modules
- Reserved Modules and using the `user' module
- An alternative import/export interface
- Dynamic Modules
- Transparent predicates: definition and context module
- Module properties
- Compatibility of the Module System
- Reference manual
Until now we discussed the public module interface that is, at least to some extent, portable between Prolog implementations with a module system that is derived from Quintus Prolog. The remainder of this chapter describes the underlying mechanisms that can be used to emulate other module systems or implement other code-reuse mechanisms.
In addition to built-in predicates, imported predicates and locally
defined predicates, SWI-Prolog modules can also call predicates from its
import modules. Each module has a (possibly empty) list of
import modules. In the default setup, each new module has a single
import module, which is
user for all normal user modules
system for all system library modules. Module
system where all built-in predicates reside.
These special modules are described in more detail in section
The list of import modules can be manipulated and queried using the following predicates, as well as using set_module/1.
- [nondet]import_module(+Module, -Import)
- True if Module inherits directly from Import. All
normal modules only import from
user, which imports from
system. The predicates add_import_module/3 and delete_import_module/2 can be used to manipulate the import list. See also default_module/2.
- [multi]default_module(+Module, -Default)
- True if predicates and operators in Default are visible in Module. Modules are returned in the same search order used for predicates and operators. That is, Default is first unified with Module, followed by the depth-first transitive closure of import_module/2.
- add_import_module(+Module, +Import, +StartOrEnd)
- If Import is not already an import module for Module,
add it to this list at the
enddepending on StartOrEnd. See also import_module/2 and delete_import_module/2.
- delete_import_module(+Module, +Import)
- Delete Import from the list of import modules for Module. Fails silently if Import is not in the list.
One usage scenario of import modules is to define a module that is a copy of another, but where one or more predicates have an alternative definition.