逻辑程序设计语言G(o)del与Prolog的比较

来源 :智能系统学报 | 被引量 : 0次 | 上传用户：chenyun120

【摘要】

：

在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言G(o)del与Prolog的联系与

【作者】

：

昌杰赵致琢李慧琪高伟

【机构】

：

厦门大学计算机科学系,福建厦门,361005

【出处】

：

智能系统学报

【发表日期】

：

2009年2期

【关键词】

：

Gdel语言 Prolog语言模块系统类型系统控制机制元程序设计

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言G(o)del与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分,引入了多种新的语言成分,Gdel语言具有更好的说明性语义和执行效率.

其他文献

整体散热航嘉暗夜公爵H403赏析

暗夜公爵H403是航嘉最新推出的机箱产品,该机箱定位比较高端,其整体造型时尚大气,是目前市场上很受消费者关注的产品。●独特的散热及防尘设计前面板及顶部前端采用了类似钢

期刊

散热公爵

基于FPGA的跳时延发射参考系统的基带数字信号处理

该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥

期刊

高速通信跳时延发射参考超宽带同步电路

缤纷色彩金河田雷霆800无线鼠标试用

笔记本电脑、上网本的热销,也带旺了无线键鼠市场,特别是小巧玲珑的无线鼠标,差不多成了笔记本电脑的标配装备。借着这股春风,金河田推出的雷霆800系列无线鼠标,也艳丽登场了

期刊