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

SYSTEM DESIGN AND REALIZATION OF LOGICAL PROGRAM PARALLEL INFERENCE MACHINE EC-PIM

作　　者：谢康林 霍义兴 郑飞[1] 

机构地区：[1]上海交通大学

出　　处：《小型微型计算机系统》1995年第3期6-11,共6页Journal of Chinese Computer Systems

摘　　要：本文介绍面向逻辑程序的并行推理机系统ＥＣ－ＰＩＭ。它以逻辑程序设计语言ＰＲＯＬＯＧ为核心，以硬件、软件两方面结合的方式直接实现以ＰＲＯＬＯＧ所描述的推理任务。系统设计基于Ｅａｒｌｅｙ算法、ＶＬＳＩ技术以及适当的系统结构及部件的设计方案。在提出并行推理机及其概念模型的前提下，作出ＥＣ－ＰＩＭ体系结构的设计，包括互连结构。公共存储器系统的设计方案。并成功地实现了双八路二级并行逻辑推理模拟机的研制。In this paper, A logical program oriented parallel inference machine system-EC-PIM is introduced. It uses logical program design language PROLOG as its hemal, and directly completes tasks described by PROLOG with harclware anal software. The design of system is based on earlay algorithm, VLSI technigtle anal proper design of system structure and units. The principle and concept model of PIM being proposed I the architecttlre design of EC-PIM inclLlding interconnection structLlre, public memory system are disctlssed. A double-8 way. double level parallel logic inferellce Prototype machine is completed Successfully.

关 键 词：程序语言 逻辑程序 并行推理机 PROLOG语言 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]