backward chaining

In backward chaining one attempts to prove a goal by recursively braking down a goal into sub-goals and trying to prove these until facts are reached. Facts are goals with no sub-goals which are therefore always true. See also forward chaining, Prolog.