users-prolog
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: Constraint Handling Rules


From: Mattias Waldau
Subject: RE: Constraint Handling Rules
Date: Thu, 22 Mar 2001 08:53:40 +0100

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]