【摘要】 本文提出一种新型并行推理机制BTJ,它同时支持受限“与”并行和完全“或”并行,与其它“与/或”并行模型相比,BTJ具有高并行度和低运行时刻代价的优点,性能测试结果表明,BTJ对于“与”并行和“或”并行均可获得较好的并行加速比。更多还原

【Abstract】 This paper presents a new AND/OR parallel execution model (BTJ)for logic programs.It supports restricted AND-and full OR-parallel execution of logic programs.Compared with other AND/OR parallel execution models,BTJ has advantages of high parallelism and low run time cost.The performance results indicate that BTJ can achieve significant speedup for both AND-and OR-parallel execution.更多还原