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

From: Amine Marref <am189_at_...98...>
Date: Mon, 15 Sep 2008 16:04:09 +0100
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 

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]?



[1] Automatic Implication Checking for CHR Constraints by Tom Schrijvers 
A, Peter Stuckey B, C Thom Frühwirth D, 

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

+44 1904 432810 
Received on Mon Sep 15 2008 - 08:14:35 CEST

This archive was generated by hypermail 2.3.0 : Mon Aug 26 2019 - 06:14:56 CEST