next up previous contents index
Next: Debugging commands Up: Debugging Previous: Debugging   Contents   Index

Execution modes

There are two execution modes: usual mode and debugging mode. The query

		  trace
switches the execution mode to the debugging mode, and the query

		  notrace
switches the execution mode back to the usual mode. In debugging mode, the execution of asserted and consulted clauses can be traced. To trace part of the execution of a program, use spy to set the spy points.

		  spy(Atom/Arity).
The spy points can be removed by

		  nospy(Atom/Arity).



Neng-Fa Zhou
1999-11-24