Backward chaining

<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.

< Previous Terms Terms Containing backward chaining Next Terms >
backup pumpkin
backup software
Backus-Naur Form
Backus Normal Form
backward analysis
forward chaining
Generic Expert System Tool
logic programming
backward combatability
backward compatibility
backward compatible
backwards compatibility
backwards compatible