A.57 library(tables): XSB interface to tables
All Application Manual Name SummaryHelp

Availability::- use_module(library(tables)).(can be autoloaded)
Source[nondet]get_residual(:CallTerm, -DelayList)
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).