BACKWARD CHAINING


Meaning of BACKWARD CHAINING in English

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

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.