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

顾慧翔; 俞勇

首页> 中文期刊> 《计算机工程》 >基于WAM的Prolog推理引擎的实现

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程》 |2004年第3期|74-75146|共3页
作者
顾慧翔; 俞勇;
展开▼
作者单位

上海交通大学计算机科学与工程系;

上海;

200030;

上海交通大学计算机科学与工程系;

上海;

200030;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序语言、算法语言;
关键词
WAM; Horn子句; 推理引擎; 预处理; 回填;

相似文献

中文文献
外文文献
专利

1. 基于WAM的Prolog编译优化 [J] . 钟宁燕 ,刘椿年 . 北京工业大学学报 . 1998,第004期
2. 利用Prolog实现语义网中的知识推理 [J] . 杨敏 ,陆朝俊 . 计算机应用与软件 . 2005,第002期
3. 在Prolog上实现时态推理的几个问题 [J] . 聂文龙 ,张师超 . 高技术通讯 . 1995,第A01期
4. 一种用PROLOG实现非精确推理的方法 [J] . 余宏华 ,马玉书 . 石油大学学报：自然科学版 . 1990,第002期
5. 基于改进Rete算法的复杂事件推理引擎的研究与实现 [J] . 阴躲芬 ,龚华明 . 科技创新导报 . 2019,第018期
6. GKD——WAM-PLUS框架下实现的一个PROLOG源数据库管理系统 [C] . 刘波 . 第三届全国青年计算机学术会议 . 1991
7. 基于谓词逻辑的知识表示和知识推理及在Prolog中的实现 [A] . 王湘云 . 2008

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

摘要

著录项

相似文献

相关主题

期刊订阅