and may appear in the file anywhere after the first constraints declaration.
Available options are:
- This option controls whether guards should be checked for (illegal) variable bindings or not. Possible values for this option are on to enable the checks, and off to disable the checks. If this option is on, any guard fails when it binds a variable that appears in the head of the rule. When the option is off (default), the behaviour of a binding in the guard is undefined.
- This option controls the degree of optimization. Possible values are full
to enable all available optimizations, and off (default) to
disable all optimizations. The default is derived from the SWI-Prolog
flag optimise, where
trueis mapped to
full. Therefore the command line option -O provides full CHR optimization. If optimization is enabled, debugging must be disabled.
- This option enables or disables the possibility to debug the CHR code.
Possible values are on (default) and off. See
section 7.4 for more details on
debugging. The default is derived from the Prolog flag generate_debug_info,
trueby default. See -nodebug. If debugging is enabled, optimization must be disabled.