[1]高? 伟,赵致琢,李慧琪,等.Godel语言控制机制的研究与实现[J].智能系统学报,2009,4(4):345-351.
GAO Wei,ZHAO Zhi-zhuo,LI Hui-qi,et al.Research and implementation of the control facility of Gdel language[J].CAAI Transactions on Intelligent Systems,2009,4(4):345-351.
点击复制
GAO Wei,ZHAO Zhi-zhuo,LI Hui-qi,et al.Research and implementation of the control facility of Gdel language[J].CAAI Transactions on Intelligent Systems,2009,4(4):345-351.
Godel语言控制机制的研究与实现
《智能系统学报》[ISSN 1673-4785/CN 23-1538/TP] 卷:
4
期数:
2009年第4期
页码:
345-351
栏目:
学术论文—自然语言处理与理解
出版日期:
2009-08-25
- Title:
- Research and implementation of the control facility of Gdel language
- 文章编号:
- 1673-4785(2009)04-0345-07
- Keywords:
- Gdel language; control facility; delay; pruning
- 分类号:
- TP312
- 文献标志码:
- A
- 摘要:
- Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言，而控制机制是逻辑程序设计语言的核心内容.针对Prolog语言控制机制存在的问题，引出了Gdel语言中新的控制机制，包括DELAY延迟机制和剪枝操作然后通过实例分析，表明了这些新机制能有效地避免递归谓词的低效或无限循环调用，并能够实现子目标的协同执行，从而提高系统的运行效率.针对这一有效改进，在对Gdel语言控制机制比较深入研究的基础上，最后给出了Gdel语言控制机制的实现算法.该算法已在研发的Gdel语言编译系统中得以实现，通过实例测试，验证了算法具有较高的效率.
- Abstract:
- Gdel, a new logic programming language that emerged from Prolog, has at its core a control facility. After an analysis of problems with the control facility in Prolog, the authors proposed new control facilities for Gdel which include a ‘delay computing’ and a ‘pruning’ operation. Examples showed that adoption of the new facilities effectively prevents inefficient or infinite loop calling of a recursive predicate and allows coroutining between subformulas, so that the efficiency of the system is considerably improved. Furthermore, an algorithm was proposed that could provide the control facility in Gdel. The algorithm was applied in the Gdel compiler developed by our group. The high efficiency of the algorithm was verified through testing.
- 参考文献/References:
-
［1］HILLl P M, LLOYD J W.The G〖AKo¨D〗del programming language［M］.London:MIT Press,1994：799
［2］李松斌. Gdel语言编译系统中推理机的设计与实现［D］.厦门：厦门大学，2007.
?LI Songbin. Design and implementation of inference machine for G〖AKo¨D〗del compiler［D］.Xiamen：Xiamen University,2007.
［3］苏剑煌. Gdel语言编译系统的设计与实现［D］. 厦门：厦门大学，2007.
SU Jianhuang.Design and implementation for the compiler of programming language Gdel［D］.Xiamen：Xiamen University,2007.
［4］肖 楠.具有并发延迟功能的PROLOG语言控制策略的设计与实现［J］.小型微型计算机系统,1989,10(3):3643.
XIAO Nan.Design and implementation for the control facility of Prolog languange with the functional of concurrent and delay［J］.MiniMicro Systems,1989,10(3):3643.
［5］刘椿年，曹德和.PROLOG语言,它的应用与实现［M］.北京：科学出版社,1990：1023.
［6］LLOYD J W. Foundation of logic programming［M］.［S.l.］：SpringerVerlag, 1984：515.
［7］HILL P M.The completion of typed logic programs and SLDNF resolution［C］//Proceedings of the 4th International Conference.［S.l.］，1993：321326.
［8］王良霖. Gdel语言程序计算的可视化研究［D］.厦门大学，2008.
WANG Lianglin. The study for the visualization of G〖AKo¨D〗del programs［D］.Xiamen: Xiamen University,2008. ［9］李 玲. G〖AKo¨D〗del语言编译系统中实现计算可视化［D］.厦门：厦门大学，2008.
LI Ling. Implementation of visual computing for the compiler of programming language G〖AKo¨D〗del［D］.Xiamen: Xiamen University,2008.
［10］涂序彦. 广义智能系统的概念、模型和类谱［J］. 智能系统学报,2006, 1(2):710.
TU Xuyan. Concept,model and kinds of generalized intelligent system［J］. CAAI Transactions on Intelligent Systems,2006, 1(2):710.
［11］杨春燕，蔡 文.可拓信息知识智能形式化体系研究［J］.智能系统学报,2007, 2(3):811.
?YANG Chunyan, CAI Wen. A formalized system of extension informationknowledgeintelligence［J］. CAAI Transactions on Intelligent Systems,2007, 2(3):811.
- 相似文献/References:
-
[1]昌? 杰,赵致琢,李慧琪,等.逻辑程序设计语言G〖AKo¨D〗del与Prolog的比较[J].智能系统学报,2009,4(2):163.
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():163.
备注/Memo
收稿日期：2008-09-04.
通信作者：赵致琢.E-mail:zzzhao@xmu.edu.cn
作者简介：
高 伟，男，1985年生，硕士研究生，主要研究方向为逻辑程序设计语言Gdel及其程序设计环境.
赵致琢，男，1957年生，教授，硕士生导师，主要研究方向为计算模型与分布式基础算法、逻辑程序设计语言、计算机科学教育研究.先后获得2000年福建省优秀教学成果奖一等奖、2001年国家级优秀教学成果奖二等奖.
李慧琪，女，1973年生，博士研究生，主要研究方向为逻辑程序设计语言Gdel及其程序设计环境.
更新日期/Last Update:
2009-11-16