| backward chaining ： FOLDOC|
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.
| 翻訳と辞書 : 翻訳のためのインターネットリソース|
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.