| ?- X is 1 // 0. Floating point exception (core dumped)
Expected: evaluation_error(zero_divisor). (Like ISO, GNU, SWI, B, SICStus, Ciao)
Similarly:
| ?- X is 1 div 0.
X = -9223372036854775808;
Log in to post a comment.
Similarly:
| ?- X is 1 div 0.
X = -9223372036854775808;