搜索到10篇“ GODEL语言“的相关文章
- Godel语言操作语义描述方法研究
- G(o)del语言是继Prolog之后出现的一种新型通用逻辑程序设计语言,它具有一个多态多类的类型系统、有灵活的计算规则和剪枝操作、支持模块化程序设计,因此相对与Prolog语言具有明显的优势。但是它从推出起一直发展缓慢...
- 曹炳义
- 关键词：GODEL语言编译器
- Godel语言程序计算的可视化研究
- G(o)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言，它建立在多态多类的一阶逻辑基础之上，摒弃了Prolog语言中的非逻辑成分，集成了多种语言的有效成分和优点，引入了类型系统，增加了延迟计算，剪...
- 王良霖
- 关键词：GODEL语言逻辑语言可视化XML技术
- 文献传递
- Godel语言编译系统中实现计算可视化
- G(o)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言，它是建立在多态多类一阶逻辑基础上的强类型语言。G(o)del语言同Prolog语言相比，摒弃了Prolog语言中的非逻辑成分，增加了参数型多...
- 李玲
- 关键词：逻辑程序程序设计语言语言编译
- 文献传递
- Godel语言分布式多机推理系统
- Godel语言是一种说明性逻辑程序设计语言。该语言基于一阶逻辑,支持抽象数据类型和模块化程序设计等技术,语言本身也具有很强的说明性语义。本文给出了一个分布式环境下的Godel语言实现系统中的多机推理结构,对如何提高God...
- 王炳波
- 关键词：GODEL语言模块化程序设计
- 文献传递
- 逻辑程序设计语言Godel的形式化过程性语义
- Godel语言是继Prolog语言之后出现的逻辑程序设计语言，它建立在多态多类的一阶逻辑基础之上，摒弃了Prolog语言中的非逻辑成分，集成了许多语言的有效成分和优点，引入了类型系统，这使得它成为一种高效的说明性逻辑程序...
- 昌杰
- 关键词：GODEL语言逻辑程序设计语言
- 文献传递
- Prolog与Gdel语言元程序设计的对比研究
- 2008年
- 元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义。Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。通过对这两种语言中的元程序设计方法进行研究,讨论了基本表示与非基本表示的主要特点和实现机制,通过比较分析,表明Gdel语言具有更好的说明性语义和执行效率。
- 昌杰郑尚志
- 关键词：GODEL语言元程序设计
- Gdel语言的一种并行推理模型
- 2008年
- 针对Gdel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Gdel并行策略具有良好的加速比.
- 李玲赵致琢李松斌王良霖夏金存
- 关键词：GODEL语言中间代码
- Gdel程序推理过程的可视化
- 2008年
- 主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于用户静态分析Gdel程序;对Gdel语言程序的动态执行过程的可视化,能够使最终用户更好地理解Gdel语言程序的执行机制,调试并查找程序运行过程中可能出现的非预期的错误.
- 王良霖赵致琢李玲
- 关键词：GODEL语言PROLOG语言可视化
- Gödel语言编译系统中推理机的设计与实现
- 逻辑程序设计语言提供了一种说明性的编程方法，与基于算法的过程性程序设计语言如Pascal、Ada和C等相比，逻辑程序设计语言具有诸多优点。首先，逻辑程序丰富的表达能力和不确定性语言机制，使其非常适合于表达人工智能和知识工...
- 李松斌
- 关键词：逻辑程序设计语言推理机GODEL语言
- Gödel语言编译系统的设计与实现
- G(o)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言。它建立在多态多类的一阶逻辑基础之上，摒弃了Prolog语言中的非逻辑成分，集成了许多语言的有效成分和优点，引入了类型系统，增加了新的语言成分...
- 苏剑煌
- 关键词：GODEL语言逻辑程序设计语言
相关作者
- 王良霖
- 作品数：4被引量：1H指数：1
- 供职机构：厦门大学
- 研究主题：GODEL语言 可视化 可视化研究 DEL语言 DEL
- 昌杰
- 作品数：5被引量：1H指数：1
- 供职机构：厦门大学
- 研究主题：DEL语言 逻辑程序设计语言 GODEL语言 形式化 PROLOG
- 李玲
- 作品数：14被引量：7H指数：1
- 供职机构：厦门大学
- 研究主题：可视化 阴离子交换膜 GODEL语言 DEL语言 交联型
- 李松斌
- 作品数：136被引量：86H指数：5
- 供职机构：中国科学院声学研究所
- 研究主题：信息隐藏 隐写分析 隐写检测 信息隐藏方法 车辆
- 赵致琢
- 作品数：58被引量：124H指数：6
- 供职机构：厦门大学信息科学与技术学院
- 研究主题：科学办学 分布式 教学改革 DEL语言 计算机科学与技术
