dict.org

The DICT Development Group


Search for:
Search type:
Database:

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.
  
     (2004-01-26)
  

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