第4期 高伟，等：G6del语言控制机制的研究与实现 .351 量的多态性可以参考面向对象程序设计的编译技术 programs[D].Xiamen:Xiamen University,2008. 尝试实现，需要建立动态类型系统，目前建立的动态 [9]李玲.Gdl语言编译系统中实现计算可视化[D].厦 类型系统还不能与推理机一起通过比较复杂的测试 门：厦门大学，2008. 实例.对于Gdel语言运行机制的并行化工作可以 LI Ling.Implementation of visual computing for the compil- 分为2个阶段，即首先实现单机多进程的运行，然后 er of programming language Godel[D].Xiamen:Xiamen U- niversity,2008. 实现多机联合运行.这将是本课题组下一步需要重 [10]涂序彦.广义智能系统的概念、模型和类谱[J].智能 点着手开展的工作， 系统学报，2006,1(2)：7-10. 参考文献： TU Xuyan.Concept,model and kinds of generalized intelli- gent system[J].CAAI Transactions on Intelligent Sys- [1]HILLI P M,LLOYD J W.The Godel programming language tems,2006,1(2):7-10. [M].London:MIT Press,1994:79-99. [11]杨春燕，蔡文.可拓信息知识-智能形式化体系研究 [2]李松斌.Gdel语言编译系统中推理机的设计与实现 [J].智能系统学报，2007,2(3)：811. [D].厦门：厦门大学，2007. YANG Chunyan,CAI Wen.A formalized system of exten- LI Songbin.Design and implementation of inference ma- sion information-knowledge-intelligence[J].CAAI Trans- chine for Godel compiler[D].Xiamen:Xiamen University, actions on Intelligent Systems,2007,2(3):8-11. 2007. 作者简介： [3]苏剑煌.C6del语言编译系统的设计与实现[D].厦门： 高伟，男，1985年生，硕士研究 厦门大学，2007. 生，主要研究方向为逻辑程序设计语言 SU Jianhuang.Design and implementation for the compiler of Gdel及其程序设计环境. programming language Godel[D].Xiamen:Xiamen Univer- sity,2007. [4]肖楠.具有并发延迟功能的PR0L0G语言控制策略的 设计与实现[J].小型微型计算机系统，1989,10(3)：36- 43. 赵致琢，男，1957年生，教授，硕士 XIAO Nan.Design and implementation for the control facility 生导师，主要研究方向为计算模型与分 of Prolog languange with the functional of concurrent and de- 布式基础算法、逻辑程序设计语言、计 lay[J].Mini-Micro Systems,1989,10(3):36-43. 算机科学教育研究.先后获得2000年 [5]刘椿年，曹德和.PROL0G语言，它的应用与实现[M].北 福建省优秀教学成果奖一等奖、2001年 京：科学出版社，1990：10-23. 国家级优秀教学成果奖二等奖 [6]LLOYD J W.Foundation of logic programming[M].[S. 1.]Springer-Verlag,1984:5-15. 李惹琪，女，1973年生，博士研究 [7]HILL P M.The completion of typed logic programs and SLD- 生，主要研究方向为逻辑程序设计语言 NF resolution C]//Proceedings of the 4th International Gdel及其程序设计环境. Conference.[S.L.],1993:321-326. [8]王良霖.Gdel语言程序计算的可视化研究[D].厦门大 学，2008. WANG Lianglin.The study for the visualization of Godel