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
Integer arithmetic hangs or slow Help!	17	518	September 22, 2022
Increased Execution Times of my Program Help!	2	277	March 25, 2020
Ann: SWI-Prolog 8.3.21 Releases	3	622	April 1, 2021
Ann: SWI-Prolog 8.1.2 Releases	2	698	March 5, 2019
Ann: SWI-Prolog 8.1.7 Releases	3	530	June 5, 2019