SWI-Prolog -- chr_show

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(chr(chr_runtime)).

chr_show_store(+Mod)

Prints all suspended constraints of module Mod to the standard output. This predicate is automatically called by the SWI-Prolog top level at the end of each query for every CHR module currently loaded. The Prolog flag chr_toplevel_show_store controls whether the top level shows the constraint stores. The value true enables it. Any other value disables it.