[eclipse-clp-users] Abort error

From: Shrirang Edgaonkar <shrirange_at_gmail.com>
Date: Mon, 14 Nov 2016 11:27:34 +0900
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
Received on Mon Nov 14 2016 - 02:27:41 CET

This archive was generated by hypermail 2.2.0 : Mon Nov 14 2016 - 06:13:11 CET