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

摘要：

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

关键词：Gdel语言、Prolog语言、模块系统、类型系统、控制机制、元程序设计

所属期刊栏目：4

分类号：TP311(计算技术、计算机技术)

在线出版日期：2009-06-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：163-168