I am trying to understand release 9.1.16 arithmetic. I didn’t test whether this already happened before release 9.1.16. I am using this popular test case: tarai(X, Y, _, R) :- X =< Y, !, R = Y. tarai(X, Y, Z, R) :- X_1 is X-1, tarai(X_1, Y, Z, R_X), Y_1 is Y-1, tarai(Y_1, Z, X, R_Y), Z_1 is…

Trying to understand release 9.1.16 arithmetic

jan Split this topic September 30, 2023, 4:03pm 9

A post was merged into an existing topic: Ann: SWI-Prolog 9.1.16

Topic		Replies	Views
Time results understanding Tools discussion	3	997	October 9, 2020
Compare/3 faster than arithmetic why? Help!	6	432	August 16, 2022
Tabling for memoizing - performance Help!	2	263	March 4, 2020
Detailed tabling statistics Help!	5	468	May 29, 2019
Careful with subtract/3 Help!	34	1479	August 22, 2022