9.4.3 CHR Debugging Predicates
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
CHR: Constraint Handling Rules
Debugging CHR programs
CHR Debugging Predicates
chr_trace/0
chr_notrace/0
chr_leash/1
chr_show_store/1
find_chr_constraint/1
Packages
Availability:
:- use_module(
library(chr/chr_runtime)
).
chr_notrace
Deactivate the CHR tracer. By default the CHR tracer is activated and deactivated automatically by the Prolog predicates
trace/0
and
notrace/0
.