An improved backtrackingalgorithm for PrologiNTerpreters, 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)