[eclipse-clp-users] Abort error

Hi,

Following is the problem.
:-lib(ic).
solve(A):-
A :: 0 .. 2147483650, A #\= 2147483648.

It aborts with following error.
Abort

out of range in -(2147483648) + A{ 0 .. 2147483650} #\= 0

Kindly let me know the reason for the error.

Thanks and Regards,
Shrirang Edgaonkar






-- 
Sent from Gmail Mobile