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.