Availability:built-in
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). ...