Did you know ... Search Documentation:
Predicate chr_constraint/1
Source:- chr_constraint(+Specifier)
Every constraint used in CHR rules has to be declared with a chr_constraint/1 declaration by the constraint specifier. For convenience multiple constraints may be declared at once with the same chr_constraint/1 declaration followed by a comma-separated list of constraint specifiers.

A constraint specifier is, in its compact form, F/A where F and A are respectively the functor name and arity of the constraint, e.g.: 

:- chr_constraint foo/1.
:- chr_constraint bar/2, baz/3.

In its extended form, a constraint specifier is c(A_1, ... ,A_n) where c is the constraint's functor, n its arity and the A_i are argument specifiers. An argument specifier is a mode, optionally followed by a type. Example: 

:- chr_constraint get_value(+,?).
:- chr_constraint domain(?int, +list(int)),
                  alldifferent(?list(int)).

Tags are associated to your profile if you are logged in|Report abuse
Tags:
  • doc-needs-help
Anne Ogborn said (2014-06-08T02:37:50):0 upvotes 0 0 downvotes
Picture of user Anne Ogborn.
'type', as specificied in "An argument specifier is a mode, optionally followed by a type." is described in chr_type/1