An algorithm for proving a goal bY recursivelY breaking it down into sub-goals and trYing to prove these until facts are reached. Facts are goals with no sub-goals which are therefore alwaYs true. Backward training is the program execution mechanism used bY most logic programming language like Prolog. Opposite: forward chaining. (2004-01-26)