Compatibility issue evaluable function (^)/2 missing

[Jean-Luc-Picard-2021]

Now I get:

?- X is 33^10.
{ERROR: No handle found for thrown exception error(type_error(evaluable,33^10),'arithmetic:is'/2-2)}

But this function is listed here:

DRAFT TECHNICAL CORRIGENDUM 2 https://www.complang.tuwien.ac.at/ulrich/iso-prolog/dtc2#pow

[Jean-Luc-Picard-2021]

An interesting test case would be, in case (^)/2 arrives in Ciao Prolog, what the outcome of this here is. Currently a disagreement between SWI-Prolog and ECLiPSe Prolog, possibly caused by float/1:

/* SWI-Prolog 8.5.17 */
?- X is float(51^10).
X = 1.19042423827613e+17.

/* ECLiPSe Prolog 7.0.61 */
?- X is float(51^10).
X = 1.1904242382761301e+17

The problem is related to this ticket here, but the later ticket mentions (**)/2 and not (^)/2. So the test cases are different.

[Jean-Luc-Picard-2021]

How do I run tests in Ciao Prolog that are written in ISO including Corr.1 and Corr.2. I cannot run my SAT Solver tests:

?- time(suite_quiet).
{ERROR: arithmetic:is/2, arg 2 - expected an arithmetically
evaluable expression, found ^(2,18)}

The error still persists in release 1.22.0 of Ciao Prolog. When do these gaps get filled?

[Jean-Luc-Picard-2021]

For exampe SWI-Prolog has a very fast (^)/2 because of GMP support. You can even try this one:

/* SWI-Prolog 9.1.17 */
?- time(_ is 9^(9^9)).
% -1 inferences, 6.063 CPU in 6.308 seconds (96% CPU, 0 Lips)
true.

All these things get nowhere tested for Ciao Prolog, since it doesn’t exist. Subsequently also not covered by benchmarks.