This section gives the predicate definitions for the remaining built-in predicates that handle modules.
library(quintus) and provides
a partial emulation of the Quintus predicate. See section
5.9.1 for details.
user, this will generate user and system.
For any other module, this will generate the module itself, followed by user
and system.
module(Module) may be used to switch
the default working module for the interactive toplevel (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). ... |