7.6 Well Founded Semantics
All Application Manual Name SummaryHelp

Availability::- use_module(library(wfs)).(can be autoloaded)
Sourcecall_delays(:Goal, -Condition)
True when Goal is an answer that is true when Condition can be satisfied. If Condition is true, Answer is unconditional. Otherwise it is a conjunction of goals, each of which is associated with a tabled predicate.