|Did you know ...||Search Documentation:|
tabled_call(Goal)to create a table and subsequently uses tnot/1 on the created table.
not_exists(p(X)) is defined as tnot(∃X(p(X)))
Note that each Goal variant populates a table for tabled_call/1. Applications may need to abolish such tables to limit memory usage or guarantee consistency‘after the world changed'.