Narrower Arithmetic

Classification
Limitation

Discrepancy
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 9.3.10.4, ISO 2
Corr.2 9.3.10.4, ISO 7
Corr.2 9.3.10.4, ISO 9
Corr.2 9.3.10.4, XLOG 1
Corr.2 9.3.10.4, XLOG 2

Related Findings
-

Kommentare