顺序PROLOG机KD-PP的系统结构和硬件实现技术
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

基金项目:


Architecture and Hardware Implementation Techniques of the Sequential PROLOG Machine: KD-PP
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    本文提出的KD-PP系统是一种基于编译技术的顺序PROLOG推理系统,该系统的设计为逻辑型程序语言PROLOG的实现提供了硬件支持,因而能高效地执行PROLOG程序。本文从数据表示、存储系统、机器状态和指令系统等方面全面地介绍了顺序 PROLOG机KD-PP的系统结构和硬件实现技术。

    Abstract:

    This paper describes a sequential PROLOG inference processor: KD-PP which is based on compilation techniques. The processor has incorporated hardware mechanisms in it for logic programming language PROLOG execution. So it can execute PROLOG programs at high speed. The architecture of the processor,including data format,memory,machine states,instruction set,and the hardware implementing techniques are described in detal.

    参考文献
    相似文献
    引证文献
引用本文

刘滨海,闻烽,王剑琪,等.顺序PROLOG机KD-PP的系统结构和硬件实现技术[J].国防科技大学学报,1990,12(2):106-112.
Liu Binhai, Wen Feng, Wang Jianqi, et al. Architecture and Hardware Implementation Techniques of the Sequential PROLOG Machine: KD-PP[J]. Journal of National University of Defense Technology,1990,12(2):106-112.

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:1989-06-25
  • 最后修改日期:
  • 录用日期:
  • 在线发布日期: 2015-07-04
  • 出版日期:
文章二维码