Definition of Intelligent backtracking

FOLDOC
intelligent backtracking
<algorithm> An improved backtracking algorithm for Prolog interpreters, which records the point at which each logic variable becomes bound and, when a given set of bindings leads to failure, ignores any choice point which does not bind any of those variables. No choice from such a choice point can succeed since it does not change the bindings which caused the failure.
(1996-04-06)

Search Dictionary:
Search Web Search Dictionary



Intelligent backtracking definition was found in categories: Language, Idioms & Slang(1)  

Intelligent backtracking Definition from Language, Idioms & Slang Dictionaries & Glossaries

hEnglish - advanced version
intelligent backtracking

intelligent backtracking
an improved backtracking algorithm for prolog interpreters , which records the point at which each logic variable becomes bound and, when a given set of bindings leads to failure, ignores any choice point which does not bind any of those variables. no choice from such a choice point can succeed since it does not change the bindings which caused the failure.