Godel语言分布式多机推理系统

摘要：

Godel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。本文给出了一个分布式环境下的Godel语言实现系统中的多机推理结构,对如何提高Godel语言的执行效率的方法进行了深入的分析和讨论。

关键词： Godel语言 分布式多机 推理系统 模块化 程序设计

作者: 王炳波

作者单位: 西安理工大学计算机科学与工程学院,西安,710048

会议类型: 国内会议

会议名称: 2007年全国高性能计算学术年会

会议地点: 深圳

会议语种:中文

页码: 729-733

在线出版日期: 2007-10-26（万方平台首次上网日期，不代表论文的发表时间）