昌杰
- 作品数：5 被引量：1H指数：1
- 供职机构：厦门大学更多>>
- 相关领域：自动化与计算机技术更多>>
- 逻辑程序设计语言G（?）del的形式化过程性语义
- G(o|¨)del语言是继Prolog语言之后出现的逻辑程序设计语言,它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,集成了许多语言的有效成分和优点,引入了类型系统,这使得它成为一种高效的说明性...
- 昌杰
- 文献传递
- 逻辑程序设计语言Godel的形式化过程性语义
- Godel语言是继Prolog语言之后出现的逻辑程序设计语言，它建立在多态多类的一阶逻辑基础之上，摒弃了Prolog语言中的非逻辑成分，集成了许多语言的有效成分和优点，引入了类型系统，这使得它成为一种高效的说明性逻辑程序...
- 昌杰
- 关键词：GODEL语言逻辑程序设计语言
- 文献传递
- Gdel语言控制机制的研究与实现
- 2009年
- Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言,而控制机制是逻辑程序设计语言的核心内容.针对Prolog语言控制机制存在的问题,引出了Gdel语言中新的控制机制,包括DELAY延迟机制和剪枝操作然后通过实例分析,表明了这些新机制能有效地避免递归谓词的低效或无限循环调用,并能够实现子目标的协同执行,从而提高系统的运行效率.针对这一有效改进,在对Gdel语言控制机制比较深入研究的基础上,最后给出了Gdel语言控制机制的实现算法.该算法已在研发的Gdel语言编译系统中得以实现,通过实例测试,验证了算法具有较高的效率.
- 高伟赵致琢李慧琪昌杰
- 关键词：剪枝
- 逻辑程序设计语言Gdel与Prolog的比较
- 2009年
- 在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言Gdel与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分,引入了多种新的语言成分,Gdel语言具有更好的说明性语义和执行效率.
- 昌杰赵致琢李慧琪高伟
- 关键词：PROLOG语言模块系统元程序设计
- Prolog与Gdel语言元程序设计的对比研究
- 2008年
- 元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义。Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,通过比较分析,表明Gdel语言具有更好的说明性语义和执行效率。
- 昌杰郑尚志
- 关键词：GODEL语言元程序设计
