The key syntactic construct that enables changes to atoms formed with non-static predicates.
A logic program is a set of rules and facts. Rules are logical formulas of the form “If P then Q”, and facts are rules with no conditions.
To entail means to logically infer. That is, if a set of statements entails a conclusion, then that conclusion is a logical consequence of those statements.
In the context of logic programming, to “produce all atoms entailed by a logic program” means to compute all the atomic formulas (or atoms) that can be logically inferred from a given set of logical rules and facts.
An atom is a basic formula with no logical connectives.
