Did you know ...
Search Documentation:
Predicate spy/1
HOME
DOWNLOAD
SWI-Prolog
Sources/building
Docker images
Add-ons
Browse GIT
DOCUMENTATION
Manual
Packages
FAQ
Command line
PlDoc
Bluffers
▶
Prolog syntax
PceEmacs
HTML generation
License
Publications
Rev 7 Extensions
TUTORIALS
Beginner
▶
Getting started
Learn Prolog Now!
Simply Logical
Debugger
Development tools
Advanced
▶
Modules
Grammars (DCGs)
clp(fd)
Printing messages
PlDoc
Web applications
▶
Web applications
Let's Encrypt!
Pengines
Semantic web
▶
ClioPatria
RDF namespaces
Graphics
▶
XPCE
GUI options
Machine learning
▶
Probabilistic Logic Programming
External collections
▶
Meta level tutorials
For packagers
▶
Linux packages
COMMUNITY
Forum & mailing list
Blog
News
Report a bug
Submit a patch
Submit an add-on
Roadmap (on GitHub)
External links
Contributing
Code of Conduct
Contributors
SWI-Prolog items
COMMERCIAL
WIKI
Login
View changes
Sandbox
Wiki help
All tags
Documentation
Reference manual
Built-in Predicates
Debugging and Tracing Programs
trace/0
tracing/0
notrace/0
notrace/1
debug/0
nodebug/0
debugging/0
spy/1
nospy/1
nospyall/0
leash/1
visible/1
unknown/2
style_check/1
Packages
Availability:
:- use_module(
library(prolog_debug)
).
(can be autoloaded)
spy
(
+Pred
)
Put a spy point on all predicates meeting the predicate specification
Pred
. See
section A.24
.
Availability:
:- use_module(
library(prolog_debug)
).
(can be autoloaded)
[det]
spy
(
:Spec
)
[det]
nospy
(
:Spec
)
[det]
nospyall
Set/clear spy-points. A successfully set or cleared spy-point is reported using
print_message/2
, level
informational
, with one of the following terms, where
Spec
is of the form M:Head.
spy(Spec)
nospy(Spec)
See also
spy/1
and
nospy/1
call the hook
prolog:debug_control_hook/1
to allow for alternative specifications of the thing to debug.