tabled_call/1

Availability:built-in

Helper predicate for not_exists/1. Defined as below. The helper is public because application may need to abolish its tables.

:- table tabled_call/1 as variant.
tabled_call(Goal) :- call(Goal).