Next: The syntax_option flag
Up: Modifying the Output
Previous: The printf/23
The flag output_mode, set by set_flag/2,
is a string of control characters (as recognised by the %w format
of printf/3).
It is used to specify the format in which the system prints terms
- in the debugger (the o command allows some modifications
of the output_mode flag from within the debugger)
- when printing the answer bindings in the top-level loop
For example, calling set_flag(output_mode, "O.P")
will cause the debugger to write the traced goals without operators,
with dot notation for lists and using the user-defined
predicate portray/1, 2.
The default value is "QPm".
Micha Meier
Mon Mar 4 12:11:45 MET 1996