GODEL语言

作品数：3被引量：0H指数：0
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：王良霖昌杰李松斌赵致琢李玲更多>>
相关机构：厦门大学巢湖学院西安理工大学更多>>
相关期刊：《巢湖学院学报》《集美大学学报（自然科学版）》更多>>
相关基金：福建省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Prolog与Gdel语言元程序设计的对比研究
《巢湖学院学报》2008年第6期30-32,共3页昌杰 郑尚志 
元程序设计是许多逻辑程序语言具有的重要特点。研究逻辑语言的元程序设计方法对于自动优化程序设计和实现智能计算都具有重要的意义。Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。通过对这两种语言...
关键词：GODEL语言 元程序设计 基本表示 非基本表示 
Gdel语言的一种并行推理模型
《集美大学学报（自然科学版）》2008年第2期117-121,共5页李玲 赵致琢 李松斌 王良霖 夏金存 
福建省自然科学基金资助项目(A0310007)
针对Gdel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Gdel并行策略具有良好的加速比.
关键词：GODEL语言 中间代码 AND并行 OR并行 
Gdel程序推理过程的可视化
《集美大学学报（自然科学版）》2008年第2期122-126,共5页王良霖 赵致琢 李玲 
福建省自然科学基金资助项目(A0310007)
主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于用户静态分析Gdel程序;对Gdel语言程序的动态执行过...
关键词：GODEL语言 PROLOG语言 可视化 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部