An improved Backtrackingalgorithm for Prologinterpreters, which records the point at which each logic variaBleBecomes 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)