Limits of ECLiPSe ?

I would like to known the limits of ECLiPSe with domain (maximum 
variable,...)

I have written a clause :

predicat(VARS) :-
VARS=[A,B,C,D],
A::0..1000,
B::0..1000,
C::0..1000,
D::0..1000,
A#>499,B#>2,C#>200,D#>1,
labeling(VARS).

ECLiPSe crash with it ! I suppose there are too much possibilities for it.
If I reduce the domain or change an inequality in an equality, it runs..
My problem is that I have to use more variables and maybe wider domains.
Can you help me to resolve this problem or my problem is too big for ECLiPSe 
?


Thanks
Olivier

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