基于WAM的Prolog推理引擎的实现

摘要：

提出了在实现基于WAM(Warrens Abstract Machine)架构的C-Prolog推理引擎过程中所遇到的问题,以及相应的解决方法和策略.在实现过程中,严格遵循了WAM体系架构中所提出的指令规范.为了提高系统运行时的效率,在指令预处理方面做了大量的工作,利用回填技术生成更快速的WAM代码.而其实现语言C使得该系统易于维护和改善,并与外部的应用程序的接口更方便灵活.

关键词：WAM、Horn子句、推理引擎、预处理、回填

所属期刊栏目：30

分类号：TP312(计算技术、计算机技术)

在线出版日期：2004-03-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：74-75,146