- delays_residual_program(+Delays, -Clauses)
- Given a delay as returned by call_delays/2, produce a set of clauses
the represents the complete residual program responsible for these
delays, The program contains at least one loop through tnot/1 and is
either inconsistent or has multiple models according to the stable
model semantics.