Gdel语言的一种并行推理模型  

A Parallel Reasoning Model for Gdel

作　　者：李玲[1] 赵致琢[1] 李松斌[1] 王良霖[1] 夏金存[1] 

机构地区：[1]厦门大学计算机科学系,福建厦门361005

出　　处：《集美大学学报（自然科学版）》2008年第2期117-121,共5页Journal of Jimei University：Natural Science

基　　金：福建省自然科学基金资助项目(A0310007)

摘　　要：针对Gdel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Gdel并行策略具有良好的加速比.Godel＇s complicated language components make it hard to use the parallel reasoning method of prolog. A parallel reasoning model which is based on the intermediate codes of the Godel programs is presented. The accelerating effect of the model is analyzed and the result shows that the speedup ratio of the given Godel parallel strategy is approximately fine.

关 键 词：GODEL语言 中间代码 AND并行 OR并行 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]