Skip to main content
SpringerLink
Log in

Sequential Prolog machine PEK

  • Regular Papers
  • Published:
New Generation Computing Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  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].

  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.

  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.

  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.

  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.

  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.

  7. Advanced Micro Devices Inc.,The Am 2900 Family Data Book.

  8. Expert Systems Limited,Prolog-1 Language Reference Manual.

Download references

Author information

Authors and Affiliations

  1. The Graduate School of Science and Technology, Kobe University, Rokkodai, Nada-ku, 657, Kobe, Hyogo, Japan

    Yukio Kaneda, Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Shumin Kuo & Sadao Maekawa

Authors
  1. Yukio Kaneda
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Naoyuki Tamura
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Koichi Wada
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hideo Matsuda
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Shumin Kuo
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Sadao Maekawa
    View author publications

    You can also search for this author in PubMed Google Scholar

About this article

Cite this article

Kaneda, Y., Tamura, N., Wada, K. et al. Sequential Prolog machine PEK. New Gener Comput 4, 51–66 (1986). https://doi.org/10.1007/BF03037382

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF03037382

Keywords

Search

Navigation