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

• 作者: 昌杰 李慧琪 赵致琢 高伟
• 来源期刊: 智能系统学报
• 学科: 工学
• 关键词: Gdel语言 Prolog语言 模块系统 类型系统 控制机制 元程序设计
• 年，卷（期）: 2009,（2）
• 页码范围: 163-168
• 页数: 6页
• 分类号: TP311
• 字数: 6675字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-4785.2009.02.012

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵致琢	厦门大学计算机科学系	38	153	6.0	11.0
2	高伟	厦门大学计算机科学系	3	0	0.0	0.0
3	昌杰	厦门大学计算机科学系	3	0	0.0	0.0
4	李慧琪	厦门大学计算机科学系	8	12	2.0	3.0