Generalization
Atomic formula
Conjunctive normal form
Circumscription
Logic programming
First-order logic
Logic
Predicate logic
Well-formed formula