摘要： 本文分析讨论了PROLOG程序中的变量共享及其在流并行处理和智能回溯中的重要作用,提出了识别共享变量的静、动态结合算法以及在此基础上的流并行子目标的识别算法和智能回溯算法。

Abstract: Shared variables in a PROLOG program play an important role in the streamed parallel processing and intelligent backtracking. The paper proposes a static-dynamic algorithm for identifying the subgoals with shared variables, and then, based on this algorithm, gives algorithms for finding the, streamed parallel; components and the intelligent backtracking points.