Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
intelligent backtracking
Jump to user comments
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.