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

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    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.

    Reference
    Related
    Cited by
Get Citation

Liu Binhai, Wen Feng, Wang Jianqi, Zhang Chenxi. 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.

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:June 25,1989
  • Revised:
  • Adopted:
  • Online: July 04,2015
  • Published:
Article QR Code