8.3.1 Embedding 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.