CHI Zhixian, SUN Yunqi. An Algorithm for Intelligent Backtracking in Implementation of PROLOGJ. Journal of Computer Research and Development, 1989, 26(9): 27-30,20.
Citation:
CHI Zhixian, SUN Yunqi. An Algorithm for Intelligent Backtracking in Implementation of PROLOGJ. Journal of Computer Research and Development, 1989, 26(9): 27-30,20.
CHI Zhixian, SUN Yunqi. An Algorithm for Intelligent Backtracking in Implementation of PROLOGJ. Journal of Computer Research and Development, 1989, 26(9): 27-30,20.
Citation:
CHI Zhixian, SUN Yunqi. An Algorithm for Intelligent Backtracking in Implementation of PROLOGJ. Journal of Computer Research and Development, 1989, 26(9): 27-30,20.
An Algorithm for Intelligent Backtracking in Implementation of PROLOG
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.
DownLoad: