OnlineWoerterBuecher.de
Internes

Lexikon

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)

In addition suitable contents:
[ 2 ] [ = ] [ ag ] [ ai ] [ al ] [ algorithm ] [ am ] [ an ] [ ar ] [ arc ] [ B ] [ b ] [ br ] [ break ] [ by ] [ ch ] [ chain ] [ ck ] [ cu ] [ do ] [ down ] [ du ] [ ec ] [ ed ] [ er ] [ es ] [ exec ] [ execution ] [ fact ] [ fi ] [ file ] [ fo ] [ for ] [ forward ] [ forward chaining ] [ ge ] [ gi ] [ goal ] [ gr ] [ gu ] [ h ] [ hm ] [ hr ] [ id ] [ il ] [ in ] [ int ] [ io ] [ is ] [ it ] [ ke ] [ ki ] [ kw ] [ la ] [ language ] [ Lex ] [ li ] [ logic programming ] [ ls ] [ ly ] [ mm ] [ mo ] [ mod ] [ module ] [ na ] [ ng ] [ ni ] [ no ] [ O ] [ ph ] [ pr ] [ program ] [ programming ] [ Prolog ] [ query ] [ rc ] [ re ] [ recursive ] [ ro ] [ ru ] [ rw ] [ se ] [ si ] [ sit ] [ sm ] [ st ] [ su ] [ th ] [ to ] [ tr ] [ ua ] [ us ] [ ve ] [ vi ]






[ Go Back ]

Free On-line Dictionary of Computing

Copyright © by OnlineWoerterBuecher.de - (5206 Reads)
All logos and trademarks in this site are property of their respective owner.
Page Generation in 0.102 Seconds, with 17 Database-Queries
Zurück zur Startseite