逻辑程序的一种有效的实现方案

AN EFFICIENT IMPLEMENTATION SCHEME FOR LOGIC PROGRAMS

PROLOG运行低效的两个主要技术性原因是搜索一匹配合一太费时以及机械回溯的盲目性。本文针对这两个困难,提出了相应的解决方法。我们采用一种精心设计的内部链接结构来表示逻辑程序以加速数据库搜索和合一操作;采用一种基于变量例化环境的选择性回溯方法提高回溯成功的可能性,试验表明这种方法精简而高效。

PROLOG interpretation contains two kinds of inefficient operations: unification and backtracking. This paper presents a prolog knowledge representation structure to speed up database searching and unifications and a selective backtracking scheme to improve the inference motivation.