Abstract
A Prolog machine design and its control are described. The machine features two-stage pipelining, a triple bus interconnection data path and support for concurrent control of micro-operations. The objective of this design is to improve execution of a Prolog processor by simultaneously performing multiple micro-operations. Capabilities of concurrent operation support are described in detail and demonstrated using some example Prolog functions. Two-stage pipeline technique as applied to non-deterministic control of Prolog program execution will be presented.
- H. Nishikawa, M. Yokota, A. Yamamoto, K. Taki, and S. Uchida, "The Personal Sequential Inference Machine (PSI): Its Design Philosophy and Machine Architecture," Proceedings of Logic Programming Workshop 83, (1983)Google Scholar
- E. Tick and D. Warren, "Towards a Pipelined Prolog Processor," 1984 International Symposium on Logic Programming, (1984)Google Scholar
- T. P. Dobry, Y. N. Patt, and A. M. Despain, "Design Decisions Influencing the Microarchitecture for a Prolog Machine," MICRO 17 Proceedings, (Oct. 1984) Google Scholar
Digital Library
- D. Warren, "An Abstract Prolog Instruction Set," Technical Note 309, AI Center, SRI International, Menlo Park, Ca., (Oct. 1983)Google Scholar
Index Terms
Microprogram control of a Prolog machine
Recommendations
Sequential Prolog machine PEK
AbstractThe sequential Prolog machine PEK currently under development is described. PEK is an experimental machine designed for high speed execution of Prolog programs. The PEK machine is controlled by horizontal-type microinstructions. The machine ...
Hierarchical microprogram generating system
MICRO 12: Proceedings of the 12th annual workshop on MicroprogrammingA general purpose microprogram generating system has been developed to compose, together with a hardware/microprogram debugger, a general purpose development support system for LSI Processor Modules such as Am2900, MMI6700, and/or MACROLOGIC. The ...
A microprogram simulator
DAC '71: Proceedings of the 8th Design Automation WorkshopMicro-programming has been defined as an orderly approach to the design of a control section of a computer using control signals arranged in fixed-length words. The control section is the part of a computer which controls the activities of the memories, ...






Comments