In forward chaining, are rules matched by their IF parts or their THEN parts? And in backward chaining?

Answer

forward chaining matches the IF parts (conditions); backward chaining matches the THEN parts (conclusions)

Forward chaining checks whether a rule's conditions are satisfied by the facts and adds its conclusion. Backward chaining checks whether a rule's conclusion matches the goal and turns its conditions into subgoals.