| G(o)del语言的一种并行推理模型 |
| |
| 引用本文： | 李玲,赵致琢,李松斌,王良霖,夏金存. G(o)del语言的一种并行推理模型[J]. 集美大学学报(自然科学版), 2008, 13(2): 117-121 |
| |
| 作者姓名： | 李玲 赵致琢 李松斌 王良霖 夏金存 |
| |
| 作者单位： | 厦门大学计算机科学系,福建,厦门,361005 |
| |
| 摘 要： | 针对Gdel语言成分复杂,难以采用Prolog语言的并行推理策略,给出了基于该语言程序中间代码的并行推理模型,并对该并行模型的加速效果进行了分析,结果表明新提出的Gdel并行策略具有良好的加速比.
|
| 关 键 词： | Gdel语言 中间代码 AND并行 OR并行 |
A Parallel Reasoning Model for G(o)del |
| |
| LI Ling,ZHAO Zhi-zhuo,LI Song-bin,WANG Liang-lin,XIA Jin-cun. A Parallel Reasoning Model for G(o)del[J]. the Editorial Board of Jimei University(Natural Science), 2008, 13(2): 117-121 |
| |
| Authors: | LI Ling ZHAO Zhi-zhuo LI Song-bin WANG Liang-lin XIA Jin-cun |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
