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