摘要： 逻辑程序执行过程中存在的并行性主要有两种:AND并行性和OR并行性。本文论述了AND并行性开发的主要问题——共享变量问题以及解放该问题的几种途径。文中提出用一个三元组来描述AND并行模型的主要特征,并在此基础上对AND/OR模型的AND并行部分以及RAP、SDD、智能通道等几个比较典型的AND并行执行模型进行了分析和比较。

Abstract: Two main prolems-variable sharing & its implementation-in the development of AND parallism in logic programs are discussed. A triple describing the main features of AND parallelism model is given. The AND parallel part, of AND/ OR model & some typical AND parallel execution models such as RAP, SDD & intelligent channels are analysed & compared.