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
  Email this page to a friend

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

Web Standards & Support:

Link to and support Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS! FireFox Extensions