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