Sequential Prolog machine PEK |
| |
Authors: | Yukio Kaneda Naoyuki Tamura Koichi Wada Hideo Matsuda Shumin Kuo Sadao Maekawa |
| |
Affiliation: | 1. The Graduate School of Science and Technology, Kobe University, Rokkodai, Nada-ku, 657, Kobe, Hyogo, Japan
|
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|