摘要： 作者认为变量共享以及 ADDCL、DELCL和KILL等数据库操作内部谓词的副作用是影响顺序 PROLOG并行解释的并行度的主要因素。寻求一种识别、选择AND/OR并行成份的有效算法,获得PROLOG子句和子目标的最大可并行计算类,是PROLOG 并行解释的重要步骤。本文对这一问题进行详细讨论,得出了若干实用的结论。

Abstract: We consider that the most important factors which affect the degree of parallelism of a prolog parallel interpreter are, besides shared variables, the side-effects of the built-in database operating predicates, such as ADDCL, DELCL and KILL. It is an important step toward the parallel interpreting of standard prolog to find strategies for exploring to the most the AND/OR parallelism in a prolog programme. A pre-processing algorithm for revealing the mutual dependencies between subgoals and clauses caused by the side-effects, and algorithms for dynamically exploring the AND/OR parallelism in a prolog programme are proposed in this paper.