slovodefinícia
backward chaining
(foldoc)		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)
podobné slovodefinícia

Nenašli ste slovo čo ste hľadali ? Doplňte ho do slovníka.

na vytvorenie tejto webstránky bol pužitý dictd server s dátami z sk-spell.sk.cx a z iných voľne dostupných dictd databáz. Ak máte klienta na dictd protokol (napríklad kdict), použite zdroj slovnik.iz.sk a port 2628.

online slovník, sk-spell - slovníkové dáta, IZ Bratislava, Malé Karpaty - turistika, Michal Páleník, správy, údaje o okresoch V4