Node:CHR Loading the Library, Next:, Up:CHR Library

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