Debugger Control¶

The following predicates are available to control the debugging of programs:

• debug

Switches the debugger on.

• debugging

Outputs status information about the debugger which includes the leash mode and the existing spy-points, when the debugger is on.

• nodebug

Switches the debugger off.

• $stop_at_this_goal/3
• leash/1
• notrace/0
• trace/0
• debug/0
• nospyall/0
• nospy/1
• spy/1