#rule engine #logical deduction #rule-based system #symbolic reasoning #forward chaining #AI logic