摘要： 我们把用多处理机系统来并行解释(传统顺序)PROLOG程序称做 PROLOG并行处理。本文讨论PROLOG并行处理的有关问题,如PROLOG并行处理的背景,PROLOG解释的并行模型及相应的处理方式(包括子句分布,并行解释控制策略,处理机/进程的分配/调度,PROLOG过程语义维护,通讯复杂性控制,以及支撑多处理机体系结构等)。最后介绍我们提出并准备实现的PROLOG的A并行处理方式,这一种包纳了多种并行模式的逆向递归式断言并行解释方式。

Abstract: This paper discusses multiprocessor-based parallel PROLOG processing techniques. The problems addressed include parallelism models of PROLOG interpretation and corresponding processing methods (distribution of clauses, control strategies, maintenance of procedural semantics, communication complexity control etc.). Finally a brief description of the A parallelism processing scheme is presented by us and is currently under in-tensed investigation. A parallelism is a parallel model of recursivelly backward assertion which covers AND, OR, and SEARCH parallelisms.