[eclipse-clp-users] Implication Handling in Eclipse.

Hi Folks,

Can anybody direct me to where I can read about how Eclipse handles 
constraint implication, I browsed the online documentation but was not 
lucky.

I am for instance interested in knowing whether the following two 
clauses have an equivalent behavior in ECLIPSE.

solve1(G):- c1(G) #=> c2(G).
solve2(G):- (#\+ c1(G)) or c2(G).

Is constraint implication checked like discussed in [1]?

Regards,

Amine.

[1] Automatic Implication Checking for CHR Constraints by Tom Schrijvers 
A, Peter Stuckey B, C Thom Frühwirth D, 
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.9195

-- 
Amine Marref
PhD Research Student
Real-Time Systems Group
Department of Computer Science
The University of York
Heslington
YO10 5DD
York
United Kingdom

+44 1904 432810