·168· 智能系统学报 第4卷 简单、直观」 法的支持J1.计算机时代，2006(11)：13 L I Songbin,ZHAO Zhizhuo,L I Huigi The support of Godel 6结论 language for modem sofware engineering methods[J].Com- Pobg是当今应用最为广泛的人工智能语言. puter Era,2006(11):1-3 然而，它的无类型较弱的说明性语义以及不支持动 [5王啸澜，赵致琢，李慧琪.Pobg语言与Godeli语言中元 程序设计方法的研究[」]厦门大学学报：自然科学版， 态元程序设计限制了它的继续发展和深入应用.之 2005,44(6):247-250 后，在其基础上发展的一个基于多态多类一阶逻辑 WANG Xiaolan,ZHAO Zhizhuo,LI Huiqi Research on 的程序设计语言Godel,,融合了模块化程序设计、抽 Metaprogram ing in Godel language and Pobg Inguage 象数据类型、元程序设计、延迟计算和剪枝操作等程 [J].Joumal of Xiamen University:Natural Science,2005, 序设计技术，具有以下特点： 44(6):247-250 1)采用基本表示和强类型系统，具有更好的说 [6]H LL PM,LLOYD J W.Analysis of metapograms[C]// 明性语义： Meta-programm ing in Logic Programm ing Massachusetts 2)支持模块化程序设计和抽象数据类型，使得 MIT Press,.1989:23-52 大型软件系统的实现成为可能； [7]GUNTER C A.Semantics of programm ing languages:struc- 3)动态元程序设计让程序的执行更加灵活多 tures and techniques,foundation of computer[M ]Massa- chusetts:M IT Press,1992:20-40 变，可支持许多更精巧的程序设计，表达一些更复杂 [8 JM IICHELL J C Concepts in programm ing languages[M ] 的程序设计思想； UK:Cambridge Univ Press,2003:4-15. 4)延迟计算和剪枝操作的引入，完善了程序执 作者简介： 行控制机制，既提高了执行效率，也使得程序的输出 昌杰，1983年生，男，硕士研究 结果更加精确，并保持程序的说明性语义。 生，主要研究方向为逻辑程序设计语言 随着这些技术的进一步应用和完善，丰富了逻 Godel及其程序设计环境. 辑程序设计语言和逻辑程序设计的内涵⑧】，使得 Godeli语言的应用范围更加广泛，程序执行的效率 和灵活性也大大提高.相信随着研究的不断深入， Godeli语言将会对说明性逻辑程序设计产生深远的 影响。 赵致琢，男，1957年生，教授，硕士 生导师，主要研究方向为计算模型与分 参考文献： 布式基础算法、软件开发方法学、计算 机科学教育研究.先后获得2000年福 [1浏椿年，曹德和.PROLOG语言，它的应用与实现M]北 建省优秀教学成果奖一等奖、2001年国 京：科学出版社，1990：6494 家级优秀教学成果奖二等奖.发表学术 [2]H LL PM,LLOYD J W.The Godel programm ing language 论文多篇，出版专著2部. [M ]Massachusetts M IT Press,1994:3-23. 李慧琪，女，1973年生，博士研究 [3正炳波，赵致琢，晏松.Godeli语言类型系统[J]计算 生，主要研究方向为逻辑程序设计语言 机工程与设计，2005,26(12)：3432-3435 Godel及其程序设计环境. WANG B ingbo,ZHAO Zhizhuo,YAN Song Type system in programm ing language Godel[J ]Computer Engineering and Design,2005,26(12):3432-3435 「4李松斌，赵致琢，李慧琪.Godeli语言对现代软件工程方 1994-2009 China Academic Journal Electronic Publishing House.All rights reserved.http://www.cnki.net简单、直观. 6 结 论 Prolog是当今应用最为广泛的人工智能语言. 然而 ,它的无类型、较弱的说明性语义以及不支持动 态元程序设计限制了它的继续发展和深入应用. 之 后 ,在其基础上发展的一个基于多态多类一阶逻辑 的程序设计语言 Go¨del,融合了模块化程序设计、抽 象数据类型、元程序设计、延迟计算和剪枝操作等程 序设计技术 ,具有以下特点 : 1)采用基本表示和强类型系统 ,具有更好的说 明性语义 [ 7 ] ; 2)支持模块化程序设计和抽象数据类型 ,使得 大型软件系统的实现成为可能 ; 3)动态元程序设计让程序的执行更加灵活多 变 ,可支持许多更精巧的程序设计 ,表达一些更复杂 的程序设计思想 ; 4)延迟计算和剪枝操作的引入 ,完善了程序执 行控制机制 ,既提高了执行效率 ,也使得程序的输出 结果更加精确 ,并保持程序的说明性语义. 随着这些技术的进一步应用和完善 ,丰富了逻 辑程序设计语言和逻辑程序设计的内涵 [ 8 ] ,使得 Go¨del语言的应用范围更加广泛 ,程序执行的效率 和灵活性也大大提高. 相信随着研究的不断深入 , Go¨del语言将会对说明性逻辑程序设计产生深远的 影响. 参考文献 : [ 1 ]刘椿年 ,曹德和. PROLOG语言 ,它的应用与实现 [M ]. 北 京 :科学出版社 , 1990: 64294. [ 2 ]H ILL P M, LLOYD J W. The Go¨del p rogramming language [M ]. Massachusetts:M IT Press, 1994: 3223. [ 3 ]王炳波 ,赵致琢 ,晏 松. Go¨del语言类型系统 [J ]. 计算 机工程与设计 , 2005, 26 (12) : 343223435. WANG Bingbo, ZHAO Zhizhuo, YAN Song. Type system in p rogramm ing language Go¨del[J ]. Computer Engineering and Design, 2005, 26 (12) : 343223435. [ 4 ]李松斌 ,赵致琢 ,李慧琪. Go¨del语言对现代软件工程方 法的支持 [J ]. 计算机时代 , 2006 (11) : 123. L I Songbin, ZHAO Zhizhuo, L I Huiqi. The support of Go¨del language formodern software engineering methods[J ]. Com2 puter Era, 2006 (11) : 123. [ 5 ]王啸澜 ,赵致琢 ,李慧琪. Prolog语言与 Go¨del语言中元 程序设计方法的研究 [J ]. 厦门大学学报 :自然科学版 , 2005, 44 (6) : 2472250. WANG Xiaolan, ZHAO Zhizhuo, L I Huiqi. Research on Meta2p rogramm ing in Go¨del language and Prolog lnguage [J ]. Journal of Xiamen University: Natural Science, 2005, 44 (6) : 2472250. [ 6 ]H ILL P M, LLOYD J W. Analysis of meta2p rogram s[ C ] / / Meta2p rogramm ing in Logic Programm ing. Massachusetts: M IT Press, 1989: 23252. [ 7 ] GUNTER C A . Semantics of p rogramm ing languages: struc2 tures and techniques, foundation of computer[M ]. Massa2 chusetts:M IT Press, 1992: 20240. [ 8 ]M ITCHELL J C. Concep ts in p rogramm ing languages[M ]. UK: Cambridge Univ Press, 2003: 4215. 作者简介 : 昌 杰 , 1983 年生 ,男 ,硕士研究 生 ,主要研究方向为逻辑程序设计语言 Go¨del及其程序设计环境. 赵致琢 ,男 , 1957年生 ,教授 ,硕士 生导师 ,主要研究方向为计算模型与分 布式基础算法、软件开发方法学、计算 机科学教育研究. 先后获得 2000年福 建省优秀教学成果奖一等奖、2001年国 家级优秀教学成果奖二等奖. 发表学术 论文多篇 ,出版专著 2部. 李慧琪 ,女 , 1973 年生 ,博士研究 生 ,主要研究方向为逻辑程序设计语言 Go¨del及其程序设计环境. ·168· 智 能 系 统 学 报 第 4卷