Example Program
The following SWI-Prolog program contains four CHR rules that implement a handler for the less-or-equal constraint:
:- use_module(library(chr)). :- op(500, xfx, leq). :- chr_constraint leq/2. % X leq Y means variable X is less-or-equal to variable Y reflexivity @ X leq X <=> true. antisymmetry @ X leq Y, Y leq X <=> X=Y. idempotence @ X leq Y \ X leq Y <=> true. transitivity @ X leq Y, Y leq Z ==> X leq Z.The first rule, which is called reflexivity (rule names are optional), is a single-headed simplification rule. It removes constraints of the form A leq A
from the constraint store. The second rule, antisymmetry, is a simplification rule with two heads. It replaces two symmetric leq constraints by an equality constraint (handled by Prolog unification). Simplification rules correspond to logical equivalence, as the syntax suggests. The third rule is a simpagation rule which removes redundant copies of the same constraint. Such rules are often needed because of the multi-set semantics of CHR. Finally, the last rule (transitivity) is a propagation rule that adds redundant constraints. Propagation rules correspond to logical implication.
Execution proceeds by exhaustively applying the rules to a given input query. For example, given the query A leq B, B leq C, C leq A
the transitivity rule adds A leq C
. Then, by applying the antisymmetry rule, A leq C
and C leq A
are removed and replaced by A=C
. Now the antisymmetry rule becomes applicable on the first two constraints of the original query. Now all CHR constraints are eliminated so no further rules can be applied, and the answer A=C, A=B
is returned.
Read more about this topic: Constraint Handling Rules
Famous quotes containing the word program:
“The actions of each dancer were scrutinized with great care and any little mistake noted and remembered. The strain upon a dancer was consequently so great that when a fine dancer died soon after a feast it was said, The peoples looks have killed him.”
—Merle Colby, U.S. public relief program (1935-1943)
“Who will join in the march to the Rocky Mountains with me, a sort of high-pressure-double-cylinder-go-it-ahead-forty-wildcats- tearin sort of a feller?... Git out of this warming-pan, ye holly-hocks, and go out to the West where you may be seen.”
—Administration in the State of Miss, U.S. public relief program (1935-1943)