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