|Did you know ...
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.