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.
Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in