Narrower Arithmetic


Jekejeke Prolog keeps some evaluable functions in a narrower scope. In particular the arithmetic function (^)/2 is for a non-negative exponent and a non-float result. A broader range doesn’t make sense since it is already covered by (**)/2 and a higher precision can be hardly archived.

Integration / Elimination
For non-integer arguments or for a negative exponent, one can regress to the evaluable function (**)/2.

Failed Test Cases

Corr.2, ISO 2
Corr.2, ISO 7
Corr.2, ISO 9
Corr.2, XLOG 1
Corr.2, XLOG 2

Related Findings