A.41 library(prolog_trace): Print access to predicates
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(prolog_trace): Print access to predicates
trace/1
trace/2
tracing/2
list_tracing/0
notraceall/0
Packages
Availability:
:- use_module(
library(prolog_trace)
).
(can be autoloaded)
tracing
(
:Spec, -Ports
)
True if
Spec
is traced using
Ports
.
Spec
is a fully qualified head term.
tracing(:Spec,
-Ports)True if Spec is traced using Ports. Spec
is a fully qualified head term.