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	es FOCL forward chaining Generic Expert System Tool logic programming	backward combatability backward compatibility backward compatible backwards compatibility backwards compatible