 with the following
query at the SICStus prompt:
<p><kbd>?-  X #> Y, Y #> X, X #> 0.
</kbd>
<p>The previous query should logically fail, but in SICStus it first proves that
since X must be at least 1, Y must be at least 2, so X should be at least 3, ...
until you get an integer overflow.

<p>One solution is to ask SICStus to fail in case of CLPFD overflow, instead
of reporting an error. This can be done with the goal
<p><center><kbd>?- fd_flag(overflow,_,fail).</kbd></center>

<p>This can be qui