Back to the email C cjunke January 16, 2026, afternoon It must be an Eclipse specificity, looking at the code it is implemented with term rewriting. It's a bit unfortunate that there is no uniformity across implementations. https://eclipseclp.org/doc/bips/kernel/arithmetic/is-2.html You're not signed in. Posting this comment will subscribe you to this newsletter with the email address you enter below. Reply and Subscribe
It must be an Eclipse specificity, looking at the code it is implemented with term rewriting. It's a bit unfortunate that there is no uniformity across implementations.
https://eclipseclp.org/doc/bips/kernel/arithmetic/is-2.html