From: Thirifay Olivier <olithiri_at_hotmail.com>

Date: Sun 28 Oct 2001 09:24:06 AM GMT

Message-ID: <OE31JsxzOEQ0ZolkmZM00001877@hotmail.com>

Date: Sun 28 Oct 2001 09:24:06 AM GMT

Message-ID: <OE31JsxzOEQ0ZolkmZM00001877@hotmail.com>

Hello, Thanks for your response but your suggrestion is not really what I want... I illustrate my problem with a bad example. :- lib(fd). :- lib(propia). domaine(VARS):- VARS=[DUREE,CODE,PAYS], DUREE::0..5, CODE::0..5, PAYS::0..5. result : [A{0..5},B{0..5},C{0..5}] predicat(VARS):- VARS=[DUREE,CODE,PAYS], DUREE::0..5, CODE::0..5, PAYS::0..5, ((DUREE#>=1,CODE#>=1) ;(DUREE#=0,CODE#=0,PAYS#=0);(DUREE#=0,CODE#>0,PAYS#=0);(DUREE#>0,CODE#=0,PAYS#=0)). results : [A{1..5},B{1..5},C{0..5}] [A{0},B{0},C{0}] [A{0},B{1..5},C{0}] [A{1..5},B{0},C{0}] I would like to obtain with these solutions the parts of covered domain : for example with [A{0},B{0},C{0}] and [A{0},B{1..5},C{0}], we obtain [A{0},B{0..5},C{0}], and so on. We can see that the solutions [A{0}, B{0}, C{1..5}] are not covered by the predicate predicat(VARS). Itůs what I would like to detect ! With the propia library, I obtain [A{0..5},B{0..5},C{0..5}] for the execution predicat([A,B,C]) infers most. If I compare this response with [A{0..5},B{0..5},C{0..5}] (from predicate domain), I can't find that some possibilities are missing in predicat(VARS) Is there a way to find that with the built-in predicates ? I hope it's clearer... Thanks OlivierReceived on Sun Oct 28 09:32:56 2001

*
This archive was generated by hypermail 2.1.8
: Wed 16 Nov 2005 06:07:11 PM GMT GMT
*