Did you know ... | Search Documentation: |
library(tables): 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.
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
.