9.4.3 CHR Debugging Predicates
AllApplicationManualNameSummaryHelp

  • 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)).
Sourcechr_trace
Activate the CHR tracer. By default the CHR tracer is activated and deactivated automatically by the Prolog predicates trace/0 and notrace/0.