Availability::- use_module(library(wfs)).(can be autoloaded)
delays_residual_program(:Condition,
-Program)Program is a list of clauses that represents the connected program
associated with Condition. Each clause head represents a
conditional answer from a table and each corresponding clause body is
the condition that must hold for this answer to be true. The body is a
disjunction of conjunctions. Each leaf in this condition is either a
term tnot(Goal) or a plain Goal. Each
Goal is associated with a tabled predicate. The program
always contains at least one cycle that involves tnot/1.