Next: mpg-ref-dif, Previous: mpg-ref-debugger_command_hook, Up: mpg-bpr [Contents][Index]
debugging/0
developmentdebugging
Prints out current debugging state
debugging/0
displays information on the
terminal about the current debugging state. It shows
debug
The debugger is on but will not show anything or stop for user interaction until a spypoint is reached.
trace
The debugger is on and will show everything. As soon as you type a goal, you will start seeing a debugging trace. After printing each trace message, the debugger may or may not stop for user interaction: this depends on the type of leashing in force (see below).
zip
The debugger is on but will not show anything or stop for user interaction until a spypoint is reached. The debugger does not even keep any information of the execution of the goal till the spypoint is reached and hence you will not be able to see the ancestors of the goal when you reach the spypoint.
off
The debugger is off.
The top-level state can be controlled by the predicates
debug/0
, nodebug/0
, trace/0
, notrace/0
zip/0
, nozip/0
, and prolog_flag/3
.
leash/1
can be used to select which of the seven ports you want to be leashed.
spy/[1,2]
, nospy/1
, nospyall/0
,
add_breakpoint/2
,
disable_breakpoints/1
,
enable_breakpoints/1
, and
remove_breakpoints/1
.
None.