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
onto enable the checks, and
offto 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
fullto 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
off. See section 8.4 for more details on debugging. The default is derived from the Prolog flag generate_debug_info, which is
trueby default. See -nodebug. If debugging is enabled, optimization must be disabled.