|Did you know ...||Search Documentation:|
|wfs.pl -- Well Founded Semantics interface|
The library(wfs) provides the user interface to the Well Founded Semantics (WFS) support in SWI-Prolog.
trueif 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.