RE -Domain

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
Olivier