|Did you know ...||Search Documentation:|
and may appear in the file anywhere after the first constraints declaration.
Available options 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.
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.
off. See section 9.4 for more details on debugging. The default is derived from the Prolog flag generate_debug_info, which is
trueby default. See --no-debug. If debugging is enabled, optimization must be disabled.