chr use

From: <>
Date: Thu 04 Aug 2005 02:55:02 PM GMT
Message-ID: <>
Dear all,

I'm trying to use CHR library by applying some results presented in [1] and
using the file "minmax.chr" (directory eclipse/lib/chr).

When I execute the query "A leq B, B leq C, C leq A." the system answers :
?- A leq B, B leq C, C leq A.
A = A
B = B
C = A

Yes (0.00s cpu)

(1) A_365 leq B_378
(2) B_378 leq A_365

[1] says that the response to this query should be "A=B,B=C". In fact I don't
understand why the two constraints (1) and (2) are kept in the constraints
store. Indeed the rule "antisymmetry" could be applied, removing  "A_365 leq
B_378 and B_378 leq A_365" and adding A=B.

thanks for your help, cordially,

Hugues Malgouyres

[1] "Theory and Practice of Constraint Handling Rules" by Thom Frühwirth. (1994)

This message was sent using IMP, the Internet Messaging Program.
Received on Thu Aug 04 18:35:33 2005

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:07:38 PM GMT GMT