G(o)del语言控制机制的研究与实现

摘要：

Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言,而控制机制是逻辑程序设计语言的核心内容.针对Prolog语言控制机制存在的问题,引出了Gdel语言中新的控制机制,包括DELAY延迟机制和剪枝操作然后通过实例分析,表明了这些新机制能有效地避免递归谓词的低效或无限循环调用,并能够实现子目标的协同执行,从而提高系统的运行效率.针对这一有效改进,在对Gdel语言控制机制比较深入研究的基础上,最后给出了Gdel语言控制机制的实现算法.该算法已在研发的Gdel语言编译系统中得以实现,通过实例测试,验证了算法具有较高的效率.

关键词：Gdel语言、控制机制、延迟、剪枝

所属期刊栏目：4

分类号：TP312(计算技术、计算机技术)

在线出版日期：2009-11-24（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：345-351