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

• 作者: 俞勇 顾慧翔
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: WAM Horn子句 推理引擎 预处理 回填
• 年，卷（期）: 2004,（3）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 74-75,146
• 页数: 3页
• 分类号: TP312
• 字数: 4658字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.03.031

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	俞勇	上海交通大学计算机科学与工程系	20	279	8.0	16.0
2	顾慧翔	上海交通大学计算机科学与工程系	2	57	1.0	2.0