昌杰

作品数：3被引量：0H指数：0
导出分析报告
供职机构：厦门大学更多>>
发文主题：DEL语言逻辑程序设计语言GODEL语言形式化PROLOG更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《智能系统学报》《巢湖学院学报》更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Gdel语言控制机制的研究与实现
《智能系统学报》2009年第4期345-351,共7页高伟 赵致琢 李慧琪 昌杰 
Gdel语言是在Prolog语言基础上发展而来的一种新型逻辑程序设计语言,而控制机制是逻辑程序设计语言的核心内容.针对Prolog语言控制机制存在的问题,引出了Gdel语言中新的控制机制,包括DELAY延迟机制和剪枝操作然后通过实例分析,表明...
关键词：Gdel语言 控制机制 延迟 剪枝 
逻辑程序设计语言Gdel与Prolog的比较
《智能系统学报》2009年第2期163-168,共6页昌杰 赵致琢 李慧琪 高伟 
在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析.重点比较了逻辑程序设计语言Gdel与Prolog的联系与区别,通过比较分析,表明由于摒弃了Prolog语言中的非逻辑成分...
关键词：Gdel语言 PROLOG语言 模块系统 类型系统 控制机制 元程序设计 
Prolog与Gdel语言元程序设计的对比研究
《巢湖学院学报》2008年第6期30-32,共3页昌杰 郑尚志 
元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义。Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。通过对这两种语言...
关键词：GODEL语言 元程序设计 基本表示 非基本表示 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部