The DICT Development Group

Search for:
Search type:

Database copyright information
Server information
Wiki: Resources, links, and other information

1 definition found
 for backward chaining
From The Free On-line Dictionary of Computing (18 March 2015) :

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

Questions or comments about this site? Contact webmaster@dict.org