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