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: ...
Domain error: tabled_mode’ expected, found p/1,q/1'
I am running version 8.0.3 on Windows. What is the problem?
Many thanks.