A variable with name
body Formula succeeds, atoms in
head are true.
Disjunction (or) of the list of clauses.
A formula consists of variables, negation, and conjunction (and).
A literal is an Atom or its negation|Negated.
A negated atom, in the sense of negation as failure, not logical negation.