一种支持Prolog数据库操作和数值计算的顺序推理机系统结构的设计

为了高效实现Prolog,人们研制了面向Prolog的专用处理机或处理器片子。然而,已有的这类机器大多或者不能支持Prolog数据库操作的实现,或者不能进行快速的数值计算。本文论述了我们设计的一种基于WAM-PLUS模型的顺序推理机GKD-PLM的系统结构。该结构不仅能高速执行Prolog代码,而且支持数据库操作和数值计算。文中在论述GKD-PLM的特点之后,介绍了Prolog处理机SPP的指令系统、数据表示、执行部件的硬件结构、微程序控制器的结构等。并对其性能进行了评估。