逻辑程序AND并行的一种无冲突处理技术

A KIND OF AND PARALLEL PROCESSING TECHNIQUES WITHOUT COLLISION FOR LOGIC PROGRAMS

为了提高逻辑程序的执行效率,研究逻辑程序的并行处理技术,是当前逻辑程序设计研究课题中的重要方面之一.本文提出了一种实现AND并行的无冲突派生处理技术.基于这一处理技术,我们在以太网连接的多处理机系统上,开发了一个PROLOG的AND并行处理系统WUMPPS.该系统对一类问题的求解具有较高的效率.

A kind of AND parallel fork processing technique without collision is presented, and based on which, a PROLOG parallel processing system (WUMPPS) is developed on a multiple processor system connected with ETHER network. This system has higher execution efficiency for a certain kind of problems.