| 逻辑程序“与并行”计算模型的研究 |
| |
| 引用本文： | 李春林,邢汉承. 逻辑程序“与并行”计算模型的研究[J]. 东南大学学报(自然科学版), 1987, 0(6) |
| |
| 作者姓名： | 李春林 邢汉承 |
| |
| 作者单位： | 南京工学院计算机科学与工程系，南京工学院计算机科学与工程系 |
| |
| 摘 要： | 本文概述了逻辑程序并行性研究的状况和逻辑程序的并行处理方式。详细分析了目前两种获得“与并行”的计算模型,指出了它们的优劣性。最后得出结论:基于编译获得“与并行”是目前最有效的途径。文中同时给出了编译模型下几种算法的实现方法。
|
| 关 键 词： | 并行性 与/或 编译 逻辑程序 数据流 排序 |
On the AND-Parallel Compution Models of Logic Programs |
| |
| Li Chunling Xin Hancheng. On the AND-Parallel Compution Models of Logic Programs[J]. Journal of Southeast University(Natural Science Edition), 1987, 0(6) |
| |
| Authors: | Li Chunling Xin Hancheng |
| |
| Affiliation: | Department of Computer Science and Engineering |
| |
| 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. |
| |
| Keywords: | parallelism AND/OR compilation logic program dataflow ordering |
| 本文献已被 CNKI 等数据库收录！ |
