Debugging

add_spypoint(P)

adds a spypoint to a procedure or to a particular call to a procedure

add_advice(G,P,A)

associates advice with a port of Prolog predicate model

check_advice

enables advice checking for all predicates with advice

check_advice(P)

enables advice checking for the specified predicates

current_advice(G,P,A)

find out what advice exists

current_spypoint(L)

find out what spypoints exist

debug

switch on debugging

debugging

display debugging status information

get_profile_results(B,N,L,T)

get the results of the last execution profile

leash(M)

set the debugger's leashing mode to M

nocheck_advice

disables all advice-checking

nocheck_advice(P)

disables advice-checking from specified predicates

nodebug

switch off debugging

noprofile

switch off profiling

nospy(P)

remove spypoints from the procedure(s) specified by P

nospyall

remove all spypoints

notrace

switch off debugging (same as nodebug/0)

profile

switch on profiling

profile(G)

switch on profiling and profile the execution of goal G

remove_advice(G,P,A)

remove advice from a port/predicate

remove_spypoint

removes a spypoint

show_profile_results

show the results of the last execution profile by time

show_profile_results(B)

show the results of the last execution profile by B

show_profile_results(B,N)

show the results of the last execution profile by B, listing N predicates

spy(P)

set spypoints on the procedure(s) specified by P

trace

switch on debugging and start tracing immediately

unknown_predicate_handler(G,M,N)

user-defined handle for unknown predicates.