A little while ago you wrote the following:
Notably, AFAIK, XSB can deal with […]
updates for tabled dynamic predicates (incremental tabling).
SWI can’t. Any commit (!, ->, +) of a tabled predicate basically
leads to incomplete tables and thus incorrect results.
With all the new work to support
tnot, is it still true that any commit (!,->,+) of a tabled predicate leads to incorrect results?