| Did you know ... | Search Documentation: |
 | Predicate module/1 |
module(+Module)
module(Module) may be used to switch
the default working module for the interactive top level (see prolog/0).
This may be used when debugging a module. The example below lists the
clauses of file_of_label/2
in the module tex.
1 ?- module(tex). true. tex: 2 ?- listing(file_of_label/2). ...
0 
This predicate should probably also be able to retrieve the name of the current module.
?- module(tex). Warning: tex is not a current module (created) true. tex: ?- module(X). ERROR: Arguments are not sufficiently instantiated tex: ?- module(tex). true.