实数域上的并行约束逻辑程序设计系统及其实现技术

The Parallel Algorithm and Implementation Techniques for CLP^®

摘要: 主要讨论了在线程模式下实数域上的约束逻辑程序设计系统CLP(R)的Herbrand域和实数域并行求解的两种可行策略:1)单约束求解器线程并行策略.2)多约束求解器线程并行策略.并着重介绍了基于前一种策略实现的BPU-PARCLP(R)系统的并行算法和实现技术.

Abstract: Taking account of threads model the two feasible parallel strategies for CLP(R) are dicussed: 1) single constraint-solver thread parallel strategy, 2)multiple constraint-solver threads parallel strategy. And the parallel algorithm and implementation techniques of BPU-PARCLP(R) are given in particular using the first parallel strategy.