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

• 作者: 昌杰 李慧琪 赵致琢 高伟
• 来源期刊: 智能系统学报
• 学科: 工学
• 关键词: Gdel语言 控制机制 延迟 剪枝
• 年，卷（期）: 2009,（4）
• 页码范围: 345-351
• 页数: 7页
• 分类号: TP312
• 字数: 6836字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-4785.2009.04.011

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵致琢	厦门大学信息科学与技术学院	38	153	6.0	11.0
2	高伟	厦门大学信息科学与技术学院	3	0	0.0	0.0
3	昌杰	厦门大学信息科学与技术学院	3	0	0.0	0.0
4	李慧琪	厦门大学信息科学与技术学院	8	12	2.0	3.0