Chaining
Starting with the premises or given data, apply rules to derive more and more consequences.
Starting with the goal, determine what subgoals must be achieved in order to attain the goal, and recursively attack the subgoals, until the subgoals are just premises or obvious conditions.