Advertisement

P-Prolog: A parallel logic language based on exclusive relation

  • Rong Yang
  • Hideo Aiso
Session 3a: Concurrent Logic Languages
Part of the Lecture Notes in Computer Science book series (LNCS, volume 225)

Abstract

This paper presents a parallel logic programming language named P-Prolog which is being developed as a logic programming language featuring both and- and or-parallelism. Compared with the other parallel logic programming languages, syntactic constructs such as read-only annotation [Shapiro 83], mode declaration [Clark and Gregory 84] and communication constraints [Ueda 85] are not used in P-Prolog. A new concept introduced in P-Prolog is the exclusive relation of guarded horn clauses. Advances included in P-Prolog are:
  1. (1)

    The synchronization mechanism can determine the direction of data flow dynamically.

     
  2. (2)

    Guarded horn clauses can be interpreted as either don't care non-determinism or don't know non-determinism.

     

A prototype interpreter of P-Prolog has been implemented in C-prolog. We are now implementing a P-Prolog interpreter in the C language.

Keywords

Logic Programming Horn Clause Synchronization Mechanism Logic Programming Language Program Executor 
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. [1]
    Chang C. and Lee R. C., "Symbolic Logic and Mechanical Theorom Proving", Academic Press, New York San Francisco London, 1973.Google Scholar
  2. [2]
    Clark K. and Gregory S., "PARLOG: Parallel Programming in Logic", Research Report DOC, April,1984.Google Scholar
  3. [3]
    Clocksin W.F. and Mellish C.S., "Programming in Prolog", Springer-Verlag Berlin Heidelberg New York, 1981.Google Scholar
  4. [4]
    Hoare C.A.R., "Algorithm 64", CACM, Vol. 4, pp 321, 1961.Google Scholar
  5. [5]
    Kowalski R., "Logic for promlem solving", NORTH-HOLLAND, 1979.Google Scholar
  6. [6]
    Shapiro E.Y., "A Subset of Concurrent Prolog and Its Interpreter", Technical Report TR-003 ICOT, Tokyo, Feb.,1983.Google Scholar
  7. [7]
    Ueda K., "Guarded Horn Clauses", Technical Report TR-103 ICOT, Tokyo, June, 1985.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Rong Yang
    • 1
  • Hideo Aiso
    • 1
  1. 1.Department of Electrical EngeneeringKeio UniversityYokohamaJapan

Personalised recommendations