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
Tabling Help!	3	469	October 12, 2021
Calling table/1 during runtime Help!	2	525	August 5, 2019
Tabling space error Help!	4	358	January 7, 2023
Long delay when using tabling -- for highly recursive and interdependent code Help!	2	271	February 9, 2021
Tabling and commits General	1	282	June 16, 2019