This section gives the predicate definitions for the remaining built-in predicates that handle modules.
op(Precedence, Type, Name).
Operators defined in the export list are available inside the module as
well as to modules importing this module. See also section
4.24.
library(quintus) and provides
a partial emulation of the Quintus predicate. See section
5.9.1 for details.
user, which imports
from
system. The predicates add_import_module/3
and
delete_import_module/2
can be used to manipulate the import list.
start or end
depending on
StartOrEnd. See also import_module/2
and delete_import_module/2.
user, this will generate user and system.
For any other module, this will generate the module itself, followed by user
and system.
Backward compatibility. New code should use import_module/2.
module(Module) may be used to switch
the default working module for the interactive top-level (see prolog/0).
This may be used to when debugging a module. The example below lists the
clauses of file_of_label/2 in the module tex.
1 ?- module(tex). Yes tex: 2 ?- listing(file_of_label/2). ... |