Availability:built-in
module(+Module)
The call 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).
...

Tags are associated to your profile if you are logged in