Forward chaining Works from antecedent to consequent Breadth-first Backward chaining Works from consequent to antecedent Depth-first