摘要
文中概述顺序执行PROLOG程序的计算机的一种系统结构的研究和实现情况,主要包括一个扩充的顺序PROLOG的抽象执行模型、机器指令系统、编译型PROLOG数据库的研究与实现算法、实验系统YH-SIM-ES的设计与实现、以及一种支持快速回顾的PROLOG机硬件组织的研究。
In this paper outlined are the studies on YH-SIM-an architecture forsequential PROLOG machines, including an extended sequential executionmodel of PROLOG programs, the instruction set, the implementation of compil-er-based PROLOG database operations, the experimentation system YH-SIM-ES,and the study of the machine hardware organizations.
出处
《国防科技大学学报》
EI
CAS
CSCD
北大核心
1989年第1期22-27,共6页
Journal of National University of Defense Technology
基金
国家自然科学基金
关键词
PROLOG机
系统结构
顺序执行
system architecture
model
prolog program
sequential execution
