RE: Constraint Handling Rules

[Mattias Waldau]

The academic license for SICStus is very cheap, and have no limits on
students.

Then you get a commercial software, that runs both pn *nix and Windows.
Support, documentation, clp(fd) and CHR.

http://www.sics.se/isl/sicstus/license-ac.html

SICStus is the best Prolog-implementation around today.

/mattias

-----Original Message-----
From: address@hidden [mailto:address@hidden
Behalf Of Thomas Lefort
Sent: Tuesday, March 13, 2001 4:39 PM
To: address@hidden
Subject: Constraint Handling Rules


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

_______________________________________________
Users-prolog mailing list
address@hidden
http://mail.gnu.org/mailman/listinfo/users-prolog