ORithm> 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)