is_tabled/1¶
is_tabled(+ P)*
Succeeds if the predicate P (or a list of predicates P1,..., Pn or [ P1,..., Pn]), of the form name/arity, is a tabled predicate.
is_tabled(+ P)*
Succeeds if the predicate P (or a list of predicates P1,..., Pn or [ P1,..., Pn]), of the form name/arity, is a tabled predicate.