Sequential Prolog machine PEK
- 12 Downloads
The 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 includes bit slice microprocessor elements comprising a microprogram sequencer and ALU, and possesses hardware circuits for unification and backtracking. The PEK machine consists of a host processor (MC68000) and a backend processor (PEK engine). A Prolog interpreter has been developed on the machine and the machine performance evaluated. A single inference can be executed in 89 microinstructions, and execution speed is approximately 60–70 KLIPS.
KeywordsProlog Prolog Machine Microprogram Personal Workstation
Unable to display preview. Download preview PDF.
- 1).Tamura, N., Wada, K., Matsuda, H., Kaneda, Y. and Maekawa, S., “Prolog Machine PEK,”Proc. of the Logic Programming Conference ’84, ICOT, 1984, [in Japanese].Google Scholar
- 2).Kaneda, Y., Tamura, N., Wada, K. and Matsuda, H., “Sequential PROLOG Machine PEK Architecture and Software System,”International Workshop on High-Level Computer Architecture, 1984.Google Scholar
- 3).Wada, K., Kaneda, Y., and Maekawa, S., “High-Speed Execution of FORTH and PASCAL Programs on a High-Level Language Machine,”9th EUROMICRO, 1983.Google Scholar
- 4).Taki, K., Nishikawa, H., Yamamoto, A. and Yokota, M., “Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI),”Proc. of the International Conf. on Fifth Generation Computer Systems 1984 (ICOT, ed.), 1984.Google Scholar
- 5).Tick, E. and Warren, D. H. D., “Towards a Pipelined PROLOG Processor,”Proc. of the International Symposium on Logic Programming, pp. 29–40, 1984.Google Scholar
- 6).Warren, D. H. D., “Implementing Prolog—Compiling Predicate Logic Programs, Vol. 1 & 2,”D. A. I. Research Report, No. 39 & 40, University of Edinburgh, 1977.Google Scholar
- 7).Advanced Micro Devices Inc.,The Am 2900 Family Data Book.Google Scholar
- 8).Expert Systems Limited,Prolog-1 Language Reference Manual.Google Scholar