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
Arithmetic performance - 9.2.3 vs. 9.2.4 General	4	77	September 16, 2024
VM code refactor - thoughts? Request For Comments on-topic-only	113	4081	May 30, 2021
Change in performance measures with non-tail recursion Nice to know	9	119	July 16, 2024
Integer arithmetic hangs or slow Help!	17	523	September 22, 2022
Performance SWI-Prolog 8.3.5 vs YAP 6.5.0 Nice to know	17	1885	November 2, 2020