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.
History
Introduced in 8.1.6 (👉c09af31) Integrate WFS with the toplevel.