tables.pl -- XSB interface to tables

This module provides an XSB compatible library to access tables as created by tabling (see table/1). The aim of this library is first of all compatibility with XSB. This library contains some old and internal XSB predicates that are marked deprecated.

 t not(:Goal)

Tabled negation.

deprecated

- This is a synonym to tnot/1.

 tfindall(+Template, :Goal, -Answers)

This predicate emerged in XSB in an attempt to provide a safer alternative to findall/3. This doesn't really work in XSB and the SWI-Prolog emulation is a simple call to findall/3. Note that Goal may not be a variant of an incomplete table.

deprecated

- Use findall/3

 set_pil_on

 set_pil_off

Dummy predicates for XSB compatibility.

deprecated

- These predicates have no effect.

 get_call(:CallTerm, -Trie, -Return) is semidet

True when Trie is an answer trie for a variant of CallTerm. Return is a term ret/N with N variables that share with variables in CallTerm. The Trie contains zero or more instances of the Return term. See also get_calls/3.

 get_calls(:CallTerm, -Trie, -Return) is nondet

True when Trie is an answer trie for a variant that unifies with CallTerm and Skeleton is the answer skeleton. See get_call/3 for details.

 get_returns(+ATrie, -Return) is nondet

True when Return is an answer template for the AnswerTrie.

Arguments:

Return

- is a term ret(...). See get_calls/3.

 get_returns(+AnswerTrie, -Return, -NodeID) is nondet

True when Return is an answer template for the AnswerTrie and the answer is represented by the trie node NodeID.

Arguments:

Return

- is a term ret(...). See get_calls/3.

 get_returns_and_tvs(+AnswerTrie, -Return, -TruthValue) is nondet

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. If a conditional answer has multiple delay lists, this predicate will succeed only once, so that using this predicate may be more efficient than get_residual/2 (although less informative)

 get_returns_and_dls(+AnswerTrie, -Return, :DelayLists) is nondet

True when Return appears in AnswerTrie with the given DelayLists. DelayLists is a list of lists, where the inner lists expresses a conjunctive condition and and outer list a disjunction.

 get_residual(:CallTerm, -DelayList) is nondet

True if CallTerm appears in a table and has DelayList. SWI-Prolog's representation for a delay is a body term, more specifically a disjunction of conjunctions. The XSB representation is non-deterministic and uses a list to represent the conjunction.

The delay condition is a disjunction of conjunctions and is represented as such in the native SWI-Prolog interface as a nested term of ;/2 and ,/2, using true if the answer is unconditional. This XSB predicate returns the associated conjunctions non-deterministically as a list.

See also call_residual_program/2 from library(wfs).

 get_returns_for_call(:CallTerm, -AnswerTerm) is nondet

True if AnswerTerm appears in the tables for the variant CallTerm.

 abolish_table_pred(:CallTermOrPI)

Invalidates all tabled subgoals for the predicate denoted by the predicate or term indicator Pred.

To be done

- If Pred has a subgoal that contains a conditional answer, the default behavior will be to transitively abolish any tabled predicates with subgoals having answers that depend on any conditional answers of S.

 abolish_table_call(+Head) is det

 abolish_table_call(+Head, +Options) is det

Same as abolish_table_subgoals/1. See also abolish_table_pred/1.

deprecated

- Use abolish_table_subgoals/[1,2].

 abolish_table_subgoals(:Head, +Options)

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.

Compatibility

- Options is compatible with XSB, but does not follow the ISO option handling conventions.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 abolish_table_call(Arg1, Arg2)

 abolish_all_tables

 abolish_module_tables(Arg1)

 set_pil_off