Knowledge
LOOM
Inference
Prolog
Rabies
Semantic reasoner
Knowledge representation and reasoning
Logic programming
Backward chaining
Reasoning
Logic
Science