Express facts and rules with propositional and first-order logic, then apply deduction, unification, and resolution.
