<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.
Last updated: 1996-04-06
Try this search on Wikipedia, OneLook, Google
Nearby terms: Intel i960 « INTELLECT « intellectual property « intelligent backtracking » intelligent database » Intelligent Input/Output » Intelligent I/O