Prolog／Lisp协处理器板对Prolog部分的支持

• 作 者: 龙翔
• 机 构: 北京航空航天大学计算机科学与工程系
• 出 处: 北京航空航天大学学报
• 发表日期: 1992年3期
• 关键词: Prolog/Lisp 协处理器 专用芯片 Warren instruction set Prolog/Lisp co-processor AISC.

Prolog/Lisp协处理器板是为高效支持运行于Sun3/4及其兼容工作站上的Prolog和Lisp这两种人工智能语言而设计的的专用系统。本文在简单介绍Prolog/Lisp指令集中Prolog部分及Prolog/Lisp协处理器的体系结构之后,描述了该协处理器板上支持Prolog中转移,选择点建立、修改和删除等指令及合一中的多路转移操作的专用结构和专用芯片的原理。模拟结果表明,Prolog/Lisp协处理器板可以满足Prolog部分的推理速度(Local Inference Speed)达到500kL