摘要
本文提出的KD-PP系统是一种基于编译技术的顺序PROLOG推理系统,该系统的设计为逻辑型程序语言PROLOG的实现提供了硬件支持,因而能高效地执行PROLOG程序。本文从数据表示、存储系统、机器状态和指令系统等方面全面地介绍了顺序PROLOG机KD-PP的系统结构和硬件实现技术。
This paper describes a sequential PROLOG inference processor:KD-PPwhich is based on compilation techniques.The processor has incorporatedhardware mechanisms in it for logic programming language PROLOG execu-tion.So it can execute PROLOG programs at high speed.The architecture of theprocessor,including data format,memory,machine states,instruction set,andthe hardware implementing techniques are described in detal.
出处
《国防科技大学学报》
EI
CAS
CSCD
北大核心
1990年第2期106-112,共7页
Journal of National University of Defense Technology
关键词
系统结构
指令系统
存储器
硬件
system architecture
instruction set
memory
PROLOG system
data format
