搜索筛选:
搜索耗时2.3879秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
类      型:
[学位论文] 作者:王良霖, 来源:厦门大学 年份:2008
G(o)del语言是继Prolog语言之后出现的新型说明性通用逻辑程序设计语言,它建立在多态多类的一阶逻辑基础之上,摒弃了Prolog语言中的非逻辑成分,集成了多种语言的有效成分和优点,......
[学位论文] 作者:王良霖, 来源:厦门大学 年份:2018
[期刊论文] 作者:罗雷根,王良霖, 来源:高校教育管理 年份:1994
[期刊论文] 作者:王良霖,赵致琢,李玲, 来源:集美大学学报:自然科学版 年份:2008
主要介绍了实现Godel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Godel语言程序的两种类型的可视化.对Godel语言程序结构和谓词之间关系的可视化,能够便于...
[期刊论文] 作者:王良霖,赵致琢,李玲, 来源:集美大学学报(自然科学版) 年份:2004
主要介绍了实现Gdel语言程序结构和动态执行过程的可视化计算的一些思想,提出并设计了Gdel语言程序的两种类型的可视化.对Gdel语言程序结构和谓词之间关系的可视化,能够便于...
[期刊论文] 作者:李玲,赵致琢,李松斌,王良霖,夏金存, 来源:集美大学学报:自然科学版 年份:2008
针对Godel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Godel并行策略具......
相关搜索: