逻辑程序设计语言Gdel与Prolog的比较  

A comparison between the logic programming languages Gdel and Prolog

作　　者：昌杰[1] 赵致琢[1] 李慧琪[1] 高伟[1] 

机构地区：[1]厦门大学计算机科学系,福建厦门361005

出　　处：《智能系统学报》2009年第2期163-168,共6页CAAI Transactions on Intelligent Systems

摘　　要：在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言Gdel与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分,引入了多种新的语言成分,Gdel语言具有更好的说明性语义和执行效率.We analyzed the functions of the Gǒdel language on the bassis of the first-order logic with polymorphism and multi types. The focus was on its types, module system, control mechanisms, meta-programming, and input/output. Emphasis was on comparisons of relationships and disparities in Prolog and Gǒdel. The comparisons showed that the Gǒdel language is more declarative and efficient because it eliminates the non-logical parts of Prolog and introduces many kinds of new language elements.

关 键 词：Gdel语言 PROLOG语言 模块系统 类型系统 控制机制 元程序设计 

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]