Software engineering
Logic
Declarative programming
Reasoning
Programming paradigms
Model theory
Logical connectives
Logic programming
Prolog
Datalog
HiLog
XSB