逻辑程序并行推理机EC—PIM的系统设计与实现

本文介绍面向逻辑程序的并行推理机系统ＥＣ－ＰＩＭ。它以逻辑程序设计语言ＰＲＯＬＯＧ为核心，以硬件、软件两方面结合的方式直接实现以ＰＲＯＬＯＧ所描述的推理任务，系统设计基于Ｅａｒｌｅｙ算法，ＶＬＳＩ技术以及适当的系统结构及部件的设计方案，在提出并行推理机及其概念模型的前提下，作出ＥＣ－ＰＩＭ体系结构的设计包括互连结构，公共存储器系统的设计方案，并成功地实现了双八路二级并行逻辑推理模拟机的研制。