By Letter: Non-alphabet | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z

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

Web Standards & Support: