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)
Nearby terms:
Intel i960 « INTELLECT « intellectual property «
intelligent backtracking » intelligent database »
Intelligent Input/Output » Intelligent I/O
