|Did you know ...
true if the answer
is unconditionally true and a conjuctions of tabled goals that are
unknown according to the Well Founded Semantics otherwise. Delays
only contains the unknown goals used for proving Goal. The predicate
call_delays/2 is semantically equivalent to call/1, including
management of the delay list.