chr use

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


Constraints:
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.