Advertisement

Parallel Prolog machine PARK: Its hardware structure and prolog system

  • H. Matsuda
  • M. Kohata
  • T. Masuo
  • Y. Kaneda
  • S. Maekawa
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 221)

Abstract

In this paper we describe the hardware structure of PARK (is short for a PARallel processing system of Kobe university) and a parallel Prolog system, called PARK-Prolog, which will be implemented on this machine. PARK is a multi-microprocessor machine connected with a common bus. PARK is divided into one host processor and several (currently 3) slave processors. Each processor is composed of a 16 bit microprocessor (Motorola MC68000), a local memory, an address translation unit, and a common memory (the slave processor only). A broadcast operation can be performed on the common memory. The execution in PARK-Prolog exhibits AND parallelism, OR parallelism, and the combination both of them. PARK-Prolog equips a concurrent AND constructor and a parallel AND constructor for AND parallelism and a mode declaration for OR parallelism. The communication among processes is performed with a special built-in predicate through a communication channel.

Keywords

Access Method Execution Model Address Translation Host Processor Hardware Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Inmos Limited (1984) Occam programming manual, Prentice Hall, LondonGoogle Scholar
  2. Kowalski R (1974) Predicate logic as programming language, IFIP '74:569–574Google Scholar
  3. Matsuda H, Tamura N, Kohata M, Kaneda Y, Maekawa S (1985) Implementing parallel prolog system "K-Prolog", Transactions of information processing society of Japan, vol 26/2:296–303 (in Japanese)Google Scholar
  4. Pereira LM, Nasr R (1984) Delta-Prolog: a distributed logic programming language, Proc. of the international conference on FGCS:283–291Google Scholar
  5. Shapiro E (1983) A subset of concurrent Prolog and its interpreter, ICOT technical report TR-003Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • H. Matsuda
    • 1
  • M. Kohata
    • 2
  • T. Masuo
    • 3
  • Y. Kaneda
    • 3
  • S. Maekawa
    • 3
  1. 1.The Graduate School of Science and TechnologyKobe UniversityKobeJapan
  2. 2.Faculty of ScienceOkayama University of ScienceOkayamaJapan
  3. 3.Faculty of EngineeringKobe UniversityKobeJapan

Personalised recommendations