Domain

Hello,

I would like to know if it is possible to obtain the "union" of domains like 
in this example :

predicat:-
VARS=[A,B,C],
A::0..5,
B::0..5,
C::0..5,
(A#=0,B#>0,C#=0);(A#=0,B#=0,C#=0).

it returns me the domains that are covered by the constraints.
[A{0},B{1..5},C{0}]
[A{0},B{0},C{0}]

I have a second predicate :
predicat:-
VARS=[A,B,C],
A::0..5,
B::0..5,
C::0..5.
which returns all possibilities. [A{0..5},B{0..5},C{0..5}]


I would like to obtain the union of
[A{0},B{1..5},C{0}]
[A{0},B{0},C{0}]
-> [A{0},B{0..5},C{0}]
to compare with all possibilities [A{0..5},B{0..5},C{0..5}]

Is it possible with the built-in predicate ?

Thanks
Olivier

_________________________________________________________________
Téléchargez MSN Explorer gratuitement à l'adresse 
http://explorer.msn.fr/intl.asp