Prolog语言实现中的智能回溯算法

An Algorithm for Intelligent Backtracking in Implementation of PROLOG

本文提出一个智能回溯算法,可用于Prolog解释系统中,以提高执行效率.本算法利用数据相关图和合一失败分析来确定智能回溯点,只需要增加少量的存储空间就可达到大量无效重复失败的目的,从而可大大提高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.