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.
| Return | is a term ret(...). See get_calls/3. |
| Return | is a term ret(...). See get_calls/3. |
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)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).
table_gc_action to be over-ridden with a flag, which can be
either
abolish_tables_transitively or abolish_tables_singly.