wfs:call_delays/2

Did you know ...

Search Documentation:

Predicate call_delays/2

call_delays(:Goal, -Delays): True when Goal is true with Delays. Delays is 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.