[1]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.
Copy

A comparison between the logic programming languages G〖AKo¨D〗del and Prolog

CAAI Transactions on Intelligent Systems[ISSN 1673-4785/CN 23-1538/TP] Volume: 4 Number of periods: 2009 2 Page number: 163-168 Column: 综述 Public date: 2009-04-25
Title:
A comparison between the logic programming languages G〖AKo¨D〗del and Prolog
Author(s):
CHANG Jie;  ZHAO Zhi-zhuo;  LI Hui-qi;  GAO Wei
Department of Computer Science, Xiamen University, Xiamen 361005, China
Keywords:
G〖AKo¨D〗del; Prolog; modular system; type system; control mechanism; metaprogramming
CLC:
TP311
DOI:
-
Abstract:
We analyzed the functions of the G〖AKo¨D〗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〖AKo¨D〗del. The comparisons showed that the G〖AKo¨D〗del language is more declarative and efficient because it eliminates the nonlogical parts of Prolog and introduces many kinds of new language elements.
References:
［1］刘椿年,曹德和.PROLOG语言，它的应用与实现［M］.北京：科学出版社，1990：6494.
［2］HILL P M, LLOYD J W. The G〖AKo¨D〗del programming language［M］.Massachusetts:MIT Press,1994:323.
?［3］王炳波,赵致琢,晏 松.G〖AKo¨D〗del语言类型系统［J］.计算机工程与设计，2005，26(12)：34323435.
?WANG Bingbo,ZHAO Zhizhuo, YAN Song.Type system in programming language G〖AKo¨D〗del［J］.Computer Engineering and Design,2005,26(12)：34323435.
［4］李松斌,赵致琢,李慧琪.G〖AKo¨D〗del语言对现代软件工程方〖LL〗法的支持［J］.计算机时代，2006 (11):13.
?LI Songbin,ZHAO Zhizhuo,LI Huiqi.The support of G〖AKo¨D〗del language for modern software engineering methods［J］.Computer Era, 2006(11):13.
［5］王啸澜,赵致琢，李慧琪. Prolog 语言与 G〖AKo¨D〗del语言中元程序设计方法的研究［J］.厦门大学学报：自然科学版, 2005,44(6)：247250.
WANG Xiaolan,ZHAO Zhizhuo, LI Huiqi. Research on Metaprogramming in G〖AKo¨D〗del language and Prolog lnguage［J］. Journal of Xiamen University:Natural Science, 2005,44(6):247250.
［6］HILL P M,LLOYD J W.Analysis of metaprograms［C］//Metaprogramming in Logic Programming. Massachusetts:MIT Press,1989:2352.
［7］GUNTER C A .Semantics of programming languages: structures and techniques, foundation of computer［M］.Massachusetts:MIT Press,1992:2040.
［8］MITCHELL J C. Concepts in programming languages［M］. UK: Cambridge Univ Press, 2003:415.
Similar References:

Memo

-

Last Update: 2009-05-04

Copyright © CAAI Transactions on Intelligent Systems