Rule-Based Systems
Backward Chaining Systems