Loading the Library

Before you can load or compile any file containing a constraint handler (solver) written in CHR, the chr library module has to be imported:

     | ?- use_module(library(chr)).
     
It is recommended to include the corresponding directive at the start of your files containing handlers:
     :- use_module(library(chr)).