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 |
