Next: CHR Constraint Declaration, Up: CHR in Prolog Programs
The CHR constraints defined in a .pl file are associated with a module. The default module is user. One should never load different .pl files with the same CHR module name.
user