Abstract: In this paper,an algorithm for intelligent backtracking is presented.It can be used in Prolog interpreter for enhancing efficiency of Prolog program execution.A data dependeney graph and analysis of unifier-fail to determine backtrack node are applied in this algorithm.so any amount of inefficient repeated fails can be reduced with increasing a smaller space only.