backward chaining An for proving a goal by recursively braking 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 language like . Opposite: . (1997-07-14)
на заглавную 
к началу страницы