% This LaTeX document was generated using the LaTeX backend of PlDoc,
% The SWI-Prolog documentation system



\begin{summarylist}{ll}
\predicatesummary{abolish_table_call}{1}{Same as abolish_table_subgoals/1.}
\predicatesummary{abolish_table_call}{2}{Same as abolish_table_subgoals/1.}
\predicatesummary{abolish_table_pred}{1}{Invalidates all tabled subgoals for the predicate denoted by the predicate or term indicator Pred.}
\predicatesummary{abolish_table_subgoals}{2}{Behaves as abolish_table_subgoals/1, but allows the default `table_gc_action` to be over-ridden with a flag, which can be either `abolish_tables_transitively` or `abolish_tables_singly`.}
\predicatesummary{get_call}{3}{True when Trie is an answer trie for a variant of CallTerm.}
\predicatesummary{get_calls}{3}{True when Trie is an answer trie for a variant that unifies with CallTerm and Skeleton is the answer skeleton.}
\predicatesummary{get_residual}{2}{True if CallTerm appears in a table and has DelayList.}
\predicatesummary{get_returns}{2}{True when Return is an answer template for the AnswerTrie.}
\predicatesummary{get_returns}{3}{True when Return is an answer template for the AnswerTrie and the answer is represented by the trie node NodeID.}
\predicatesummary{get_returns_and_dls}{3}{True when Return appears in AnswerTrie with the given DelayLists.}
\predicatesummary{get_returns_and_tvs}{3}{Identical to get_returns/2, but also obtains the truth value of a given answer, setting TruthValue to `t` if the answer is unconditional and to `u` if it is conditional.}
\predicatesummary{get_returns_for_call}{2}{True if AnswerTerm appears in the tables for the _variant_ CallTerm.}
\predicatesummary{set_pil_off}{0}{Dummy predicates for XSB compatibility.}
\predicatesummary{set_pil_on}{0}{Dummy predicates for XSB compatibility.}
\predicatesummary{t not}{1}{Tabled negation.}
\predicatesummary{tfindall}{3}{This predicate emerged in XSB in an attempt to provide a safer alternative to findall/3.}
\end{summarylist}