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.



< Previous Terms Terms Containing intelligent backtracking Next Terms >
Intel Corporation
IntelDX4
Intel i960
INTELLECT
intellectual property
 backtracking
 intelligent database
Intelligent Input/Output
Intelligent I/O
intelligent key
intelligent terminal