MIMD模型上并行推进的一种实现机制

推理机制是人工智能及逻辑程序设计的关键技术。本文主要讨论了ＭＩＭＤ共享存储器模型上并行正向推理的一种实现机制，并利用队栈结构来实现本地任务的求解及与其它处理器之间的任务调度，同时给出了两种动态的负载平衡调度算法。