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
es
FOCL
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 eLook.org Powered by LoadedWeb Web Hosting
Valid XHTML 1.0!Valid CSS!eLook.org FireFox Extensions