摘要
为了减少求解过程中的无用回溯，提高Ｐｒｏｌｏｇ系统的运行效率，必须对规则相关性进行分析。本文在单一的深度优先加回溯的推理机制的基础上，提出了一种改进的推理机制。把变量相关性分析引入到内存数据库的子目标搜索过程中，大大缩短了回溯链。
In order to reduce the useless back tracking in the process of solving, improve the efficiency, the rule dependencies must be analyzed. This paper proposes an improved inference mechanism on the base of the interpretation mechanism of the single depth preference and backtracking, introducing the variables dependencies to the searching process of sub goals for the memory database. The mechanism has shortened the backtracking chain greatly, and improved the solving efficiency.
基金
国家自然科学基金资助项目
