[1]李春林,邢汉承.逻辑程序“与并行”计算模型的研究[J].东南大学学报(自然科学版),1987,17(6):125-132.[doi:10.3969/j.issn.1001-0505.1987.06.014]
 Li Chunling Xin Hancheng (Department of Computer Science and Engineering).On the AND-Parallel Compution Models of Logic Programs[J].Journal of Southeast University (Natural Science Edition),1987,17(6):125-132.[doi:10.3969/j.issn.1001-0505.1987.06.014]
点击复制

逻辑程序“与并行”计算模型的研究()
分享到:

《东南大学学报(自然科学版)》[ISSN:1001-0505/CN:32-1178/N]

卷:
17
期数:
1987年第6期
页码:
125-132
栏目:
本刊信息
出版日期:
1987-11-20

文章信息/Info

Title:
On the AND-Parallel Compution Models of Logic Programs
作者:
李春林邢汉承
南京工学院计算机科学与工程系; 南京工学院计算机科学与工程系
Author(s):
Li Chunling Xin Hancheng (Department of Computer Science and Engineering)
关键词:
并行性 与/或 编译 逻辑程序 数据流 排序
Keywords:
parallelism AND/OR compilation logic program dataflow ordering
分类号:
+
DOI:
10.3969/j.issn.1001-0505.1987.06.014
摘要:
本文概述了逻辑程序并行性研究的状况和逻辑程序的并行处理方式。详细分析了目前两种获得“与并行”的计算模型,指出了它们的优劣性。最后得出结论:基于编译获得“与并行”是目前最有效的途径。文中同时给出了编译模型下几种算法的实现方法。
Abstract:
This paper describes the current state of research on parallelism of logic programs and the ways of parallel execution of logic programs.Two models to gain AND-parallelism are analysed in detail and the advantages and disadvantages of them are revealed.At last,conclusion is drawn that the AND-paralelism based on compilation is the most effective way available to gain AND-parallelism at present time.Moreover,some algorithms of the model based on compilation are offered.
更新日期/Last Update: 2013-05-01