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)).