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

From: Amine Marref <am189_at_york.ac.uk>
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 
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 
Received on Mon Sep 15 2008 - 08:14:35 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET