[1]昌? 杰,赵致琢,李慧琪,等.逻辑程序设计语言G〖AKo¨D〗del与Prolog的比较[J].智能系统学报,2009,4(2):163-168.
CHANG Jie,ZHAO Zhi-zhuo,LI Hui-qi,et al.A comparison between the logic programming languages G〖AKo¨D〗del and Prolog[J].CAAI Transactions on Intelligent Systems,2009,4(2):163-168.
点击复制
CHANG Jie,ZHAO Zhi-zhuo,LI Hui-qi,et al.A comparison between the logic programming languages G〖AKo¨D〗del and Prolog[J].CAAI Transactions on Intelligent Systems,2009,4(2):163-168.
逻辑程序设计语言G〖AKo¨D〗del与Prolog的比较
《智能系统学报》[ISSN 1673-4785/CN 23-1538/TP] 卷:
4
期数:
2009年第2期
页码:
163-168
栏目:
综述
出版日期:
2009-04-25
- Title:
- A comparison between the logic programming languages G〖AKo¨D〗del and Prolog
- 文章编号:
- 1673-4785(2009)02-0163-06
- Keywords:
- G〖AKo¨D〗del; Prolog; modular system; type system; control mechanism; metaprogramming
- 分类号:
- TP311
- 文献标志码:
- A
- 摘要:
- 在多态多类的一阶逻辑基础之上，围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对G〖AKo¨D〗del语言功能进行分析.重点比较了逻辑程序设计语言G〖AKo¨D〗del与Prolog的联系与区别,通过比较分析，表明由于摒弃了Prolog语言中的非逻辑成分，引入了多种新的语言成分，G〖AKo¨D〗del语言具有更好的说明性语义和执行效率.
- Abstract:
- We analyzed the functions of the G〖AKo¨D〗del language on the bassis of the firstorder logic with polymorphism and multi types. The focus was on its types, module system, control mechanisms, metaprogramming, and input/output. Emphasis was on comparisons of relationships and disparities in Prolog and G〖AKo¨D〗del. The comparisons showed that the G〖AKo¨D〗del language is more declarative and efficient because it eliminates the nonlogical parts of Prolog and introduces many kinds of new language elements.
- 参考文献/References:
-
［1］刘椿年,曹德和.PROLOG语言，它的应用与实现［M］.北京：科学出版社，1990：6494.
［2］HILL P M, LLOYD J W. The G〖AKo¨D〗del programming language［M］.Massachusetts:MIT Press,1994:323.
?［3］王炳波,赵致琢,晏 松.G〖AKo¨D〗del语言类型系统［J］.计算机工程与设计，2005，26(12)：34323435.
?WANG Bingbo,ZHAO Zhizhuo, YAN Song.Type system in programming language G〖AKo¨D〗del［J］.Computer Engineering and Design,2005,26(12)：34323435.
［4］李松斌,赵致琢,李慧琪.G〖AKo¨D〗del语言对现代软件工程方〖LL〗法的支持［J］.计算机时代，2006 (11):13.
?LI Songbin,ZHAO Zhizhuo,LI Huiqi.The support of G〖AKo¨D〗del language for modern software engineering methods［J］.Computer Era, 2006(11):13.
［5］王啸澜,赵致琢，李慧琪. Prolog 语言与 G〖AKo¨D〗del语言中元程序设计方法的研究［J］.厦门大学学报：自然科学版, 2005,44(6)：247250.
WANG Xiaolan,ZHAO Zhizhuo, LI Huiqi. Research on Metaprogramming in G〖AKo¨D〗del language and Prolog lnguage［J］. Journal of Xiamen University:Natural Science, 2005,44(6):247250.
［6］HILL P M,LLOYD J W.Analysis of metaprograms［C］//Metaprogramming in Logic Programming. Massachusetts:MIT Press,1989:2352.
［7］GUNTER C A .Semantics of programming languages: structures and techniques, foundation of computer［M］.Massachusetts:MIT Press,1992:2040.
［8］MITCHELL J C. Concepts in programming languages［M］. UK: Cambridge Univ Press, 2003:415.
备注/Memo
收稿日期：2008-12-16.
作者简介：
昌 杰,1983年生，男，硕士研究生，主要研究方向为逻辑程序设计语言G〖AKo¨〗del及其程序设计环境.
赵致琢，男，1957年生，教授，硕士生导师，主要研究方向为计算模型与分布式基础算法、软件开发方法学、计算机科学教育研究.先后获得2000年福建省优秀教学成果奖一等奖、2001年国家级优秀教学成果奖二等奖.发表学术论文多篇，出版专著2部.
李慧琪，女，1973年生，博士研究生，主要研究方向为逻辑程序设计语言G〖AKo¨〗del及其程序设计环境.
通信作者：昌 杰.? E-mail:changjie_2003@163.com.
更新日期/Last Update:
2009-05-04