The PrologJ debugging facilities are supported by the predicates in the Debug
predicate set. For detailed discussion of the debugging facilities, see the
Debugging Documentation topic.
debugging / 0
debugging
spy/1
or trace/1.
debugging
- prints a listing of traced predicates.nodebug / 0
nodebug
debug
flag to off,
since the latter disables debugging only until it is turned back on,
but rather permanently disables tracing and so is equivalent to individually disabling tracing using nospy/1
or notrace/1.
nodebug
- disables leashed or unleashed tracing on all predicates.nospy / 1
nospy(PredicateIndicatorOrFunctor)
FunctorOrPredicateIndicator
is an atom), and prints a message to debugging output for the predicate / each predicate indicating whether leashed tracing was disabled or was already disabled.nospy(test/1)
- disables leashed tracing on test/1
and prints a message to that effect, or prints a message indicating leashed tracing was disabled already.nospy(test)
- disables leashed tracing on test/1
and test/2
and prints a message to that effect, or prints a message indicating leashed tracing was disabled already.notrace / 0
notrace
trace/0.
Individual predicates for which leashed or unleashed tracing was enabled by spy/1
ortrace/1
are not affected.notrace
- disables global tracing.notrace / 1
notrace(PredicateIndicatorOrFunctor)
FunctorOrPredicateIndicator
is an atom), and prints a message to debugging output for the predicate / each predicate indicating whether unleashed tracing was disabled or was already disabled.notrace(test/1)
- disables unleashed tracing on test/1
and prints a message to that effect, or prints a message indicating unleashed tracing was disabled already.notrace(test)
- disables unleashed tracing on test/1
and test/2
and prints a message to that effect, or prints a message indicating unleashed tracing was disabled already.spy / 1
spy(PredicateIndicatorOrFunctor)
FunctorOrPredicateIndicator
is an atom), and prints a message to debugging output for the predicate / each predicate indicating whether leashed tracing was enabled or was already enabled.spy(test/1)
- enables leashed tracing on test/1
and prints a message to that effect, or prints a message indicating leashed tracing was enabled already.spy(test)
- enables leashed tracing on test/1
and test/2
and prints a message to that effect, or prints a message indicating leashed tracing was enabled already.trace / 0
trace
notrace/1.
trace
- enables global tracing.trace / 1
trace(PredicateIndicatorOrFunctor)
FunctorOrPredicateIndicator
is an atom), and prints a message to debugging output for the predicate / each predicate indicating whether unleashed tracing was enabled or was already enabled.trace(test/1)
- enables unleashed tracing on test/1
and prints a message to that effect, or prints a message indicating unleashed tracing was enabled already.trace(test)
- enables unleashed tracing on test/1
and test/2
and prints a message to that effect, or prints a message indicating unleashed tracing was enabled already.