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 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