Constraint Handling Rules

[Thomas Lefort]

Have you heard of CHR (Constraint Handling Rules) ? That would be a
fairly nice feature for GNU-Prolog.


(quoted from Tom Fruewirth's site --
http://www.pst.informatik.uni-muenchen.de/personen/fruehwir/ )

> CHR are a high-level language to write constraint systems.
> CHR make it easy to define constraint reasoning: simplification and 
> propagation as well as incremental solving (satisfaction) of constraints.

> Also, CHR can be used 
> - as general purpose concurrent constraint language with ask and tell, 
> - as fairly efficient production rule system, 
> - as special kind of theorem prover, 
> - as system combining forward and backward chaining, 
> - as high-level language for manipulating attributed variables.


Regards,

___________________________
Thomas Lefort
Student in Computer Science
Irisa, Rennes - France