Let’s say I have predicates
p2/1 that I want to table. Predicate
p1/1 depends on some predicate
d1/1 which might change during runtime, and predicate
p2/1 depends on some predicate
d2/1 which might also change during runtime.
In my (multi-threaded) code, I have this tabling setup captured as:
:- table p1/1. :- table p2/1. :- dynamic([d1/1], [incremental(true)]). :- thread_local d1/1. :- dynamic([d2/1], [incremental(true)]). :- thread_local d2/1.
Are tables for predicate
p1/1 recomputed when
d2/1 changes although
p1/1 does not depend on