Advertisement

Ein verteilter Interpreter für Flat Concurrent Prolog auf Transputern

  • U. Glässer
Conference paper
  • 30 Downloads
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 237)

Abstract

Flat Concurrent Prolog (FCP) ist eine parallele logische Programmiersprache, ausgelegt auf die Beschreibung von nebenläufigem Verhalten und die Implementierung auf Parallelrechnerarchitekturen. Aufbauend auf einer kurzen Charakterisierung der Sprache und des unterliegenden Ausführungsmodells wird ein Konzept zur verteilten Implementierung eines FCP-Interpreters auf einer Transputerumgebung vorgestellt. Die Einführung einer abstrakten Architektur dient dabei der Erläuterung grundlegender Techniken zur Nutzbarmachung und Kontrolle paralleler Programmabläufe. Eine aus der Abbildung des abstrakten Modells auf ein reales Transputersystem resultierende konkrete Architektur wird im Zusammenhang mit der Implementierung von zwei Prototypen in Occam und Par.C diskutiert.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [Bur88]
    A. Burns, “Programming in OCCAM2”, Addison Wesley, 1988.Google Scholar
  2. [Gla90]
    U. Glässer, M. Kärcher, G. Lehrenfeld and N. Vieth, “Flat Concurrent Prolog on Transpu- ters”, To appear in the Journal of Microcomputer Applications: Special issue on Transputer Applications, Jan. 1990Google Scholar
  3. [C1Gr84]
    K. L. Clark and S. Gregory, “PARLOG: Parallel Programming in Logic”, Research Report DOC 84/4, Dept. of Computing, Imperial College of Science and Technology, London, 1984.Google Scholar
  4. [CoKi81]
    J. S. Conery and D. F. Kibler, “Parallel Interpretation of Logic Programs”, ACM Proc. 1981 Conf. on Functional Programming Languages and Computer Architecture,pp. 163–170.Google Scholar
  5. [Dij83]
    E. W. Dijkstra, W. H. J. Feigen, and A. J. M. von Gasteren, “Derivation of a Termination Detection Algorithm for Distributed Computations”, Information Processing Letters, Vol. 16, 1983.Google Scholar
  6. [FuFu87]
    K. Fuchi and K. Furukawa, “The Role of Logic Programming in the Fifth Generation Computer Project”, New Generation Computing, No. 5 (1987), pp. 3–28.CrossRefGoogle Scholar
  7. [Hoa78]
    C. A. R. Hoare, “Communicating Sequential Processes”, Communications of ACM, Vol. 21, No. 8 (1978), pp. 666–677.MathSciNetzbMATHCrossRefGoogle Scholar
  8. [Hwa88]
    J.-J. Hwang, Y.-C. Chow, and F. D. Anger, “An Analysis of Multiprocessing Speedup with Emphasis on the Effect of Scheduling Methods”, IEEE Proc. 8th Int’l Conf. on Distributed Computing Systems, 1988, pp. 242–248.Google Scholar
  9. [MaSh85]
    D. May and R. Shepherd, “Occam and the Transputer”, in G. L. Reijens, E. L. Dagless (editors), Concurrent Languages in distributed Systems, North-Holland, 1985, pp. 19–33.Google Scholar
  10. [Par89]
    Par.0 - User Manual,Partec Inc., 1989.Google Scholar
  11. [Sha86]
    E. Shapiro, “Concurrent Prolog: A Progress Report”, IEEE Computer, No. 8 (1986), pp. 44–58.CrossRefGoogle Scholar
  12. [Sha87]
    E. Shapiro (editor), “Concurrent Prolog: Collected Papers”, Vol. 2, MIT Press, 1987.Google Scholar
  13. [TaFu87]
    A. Takeuchi and K. Furukawa, “Parallel Logic Programming Languages”, Third Int’l Conf. on Logic Programming, LNCS 225, 1987.Google Scholar
  14. [Ued85]
    K. Ueda, “Guarded Horn Clauses”, ICOT Tech. Report TR-103, Tokyo, 1985.Google Scholar
  15. [War83]
    D. H. D. Warren, “An Abstract Prolog Instruction Set”, Technical Note 309, Artificial Intel-ligence Center, SRI 1983Google Scholar
  16. [WeSh87]
    D. Weinbaum and E. Shapiro, “Hardware Description and Simulation Using Concurrent Prolog”, Proc. 1987 CHDL,pp. 9–27Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • U. Glässer
    • 1
  1. 1.Fachbereich Mathematik/InformatikUniversität Gesamthochschule PaderbornPaderbornDeutschland

Personalised recommendations