摘要: 逻辑推理机的研制是第五代计算机发展的主要方向之一.其目标是设计高性能的并行逻辑推理机.本文介绍了这一崭新的非冯·诺依曼型计算机系统的主要特点.以PSI机为例讨论了串行推理机的结构,并对逻辑推理机中固有的"与"并行性、"或"并行性、"合一"并行性、"流"并行性及搜索并行性进行了分析,通过DADO PROLOG机器、Conery-Kibler PROLOG并行解释程序、并发PROLOG和PARLOG语言的典型实例分析了如何从逻辑程序设计语言、逻辑推理机体系结构及机器硬件实现三个层次来开发上述并行性.