Hello, I want to integrate the use of tabling in my program. As a first step, I tried to run the example program shown in Incremental Tabling : :- table (p/1, q/1) as incremental. :- dynamic([d/1], [incremental(true)]). p(X) :- q(X). q(X) :- d(X), X < 10. d(1). and I got this: ERROR: ... Dom…

Tabling: First Blood

EricGT December 15, 2019, 8:45pm 2

Quick guess.

Tabling has been being added over the last several releases and you are not up to the latest which is SWI-Prolog 8.1.19

Topic		Replies	Views
Ann: SWI-Prolog 8.1.13 Releases	3	571	September 3, 2019
Question about tabling Help!	9	527	July 8, 2022
Predicate-Sensitive Incremental Tabling Help!	4	430	December 25, 2019
Ann: SWI-Prolog 8.1.8 Releases	0	494	June 16, 2019
How to use tabling? Help! how-to	2	536	March 17, 2020