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 432810Received on Mon Sep 15 2008 - 08:14:35 CEST
This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST