g(o)del语言控制机制的研究与实现 research and implementation of the control facility of g(o)del language.pdfVIP

第4卷第4期 智能系统学报 V01．4No．4 CAAI on 2009年8月 Transactions Aug．2009 IntelligentSystems 1 doi：10．3969／j．issn．1673-4785．2009．04．0l G0del语言控制机制的研究与实现 高 伟，赵致琢，李慧琪，昌 杰 (厦门大学信息科学与技术学院，福建厦门361005) 摘要：CaMel语言是在Prolog语言基础上发展而来的一种新犁逻辑程序设计语言，而控制机制是逻辑程序设计语言 枝操作然后通过实例分析，表明r这些新机制能有效地避免递归谓词的低效或无限循环调用，并能够实现子目标的 协同执行，从而提高系统的运行效率．针对这一有效改进，在对Gfidel语言控制机制比