Semantics
Datalog
Logic programming
Rules of inference
Stratification
Negation as failure
Negation
Transitive closure
Model theory
Logic
Mathematics
Mathematical logic