A Lingua Franca For Concurrent Logic Programming

Two of the more important concurrent logic programming languages with nonflat guards are GHC and Parlog. They balance the requirements of having clean semantics and providing good control facilities rather differently, and their respective merits are compared and contrasted. Since concurrent logic programming would benefit from both, but neither language is able to express all the programs expressible in the other language, a lingua franca of these languages is defined and justified. A method is given for translating GHC and Parlog to and from it. The method preserves the arities and execution conditions of each clause. It enables a lingua franca implementation to support both languages transparently, and to provide a simple concurrent logic programming language suitable for programming in its own right. >

[1]  Kazuaki Rokusawa,et al.  KL1 Execution Model for PIM Cluster with Shared Memory , 1987, ICLP.

[2]  Steve Gregory,et al.  Parallel logic programming in PARLOG - the language and its implementation , 1987 .

[3]  Hamish Taylor.  Localizing the GHC Suspension Test , 1988, ICLP/SLP.

[4]  J. Levy,et al.  Translation of safe GHC and safe Concurrent Prolog to FCP , 1988 .

[5]  Vijay A. Saraswat,et al.  GHC: Operational Semantics, Problems, and Relationships with CP(|, |) , 1987, SLP.

[6]  Koichi Furukawa,et al.  Partial Evaluation of GHC Programs Based on the UR-set with Constraints , 1988, ICLP/SLP.

[7]  Takashi Chikayama,et al.  An Abstract KL1 Machine and Its Instruction Set , 1987, SLP.

[8]  Kazunori Ueda.  ON THE OPERATIONAL SEMANTICS OF GUARDED HORN CLAUSES , 1986 .

[9]  Ian T. Foster,et al.  Logic Operating System: Design Issues , 1987, International Conference on Logic Programming.

[10]  Leon Sterling,et al.  Incremental Flavor-Mixing of Meta-Interpreters for Expert System Construction , 1986, SLP.

[11]  Evan Tick,et al.  Parallel logic programming , 1991, Logic programming.

[12]  James Alexander Crammond,et al.  Implementation of committed choice logic languages on shared memory multiprocessors , 1988 .

[13]  Greg Michaelson,et al.  Parallel Logic Programming in parlog: the Language and its Implementation by Steve Gregory: Published by Addison-Wesley, 217pp. £17.95 , 1988 .

[14]  Ian T. Foster,et al.  Parlog as a systems programming language , 1988 .

[15]  Ehud Shapiro,et al.  The family of concurrent logic programming languages , 1989, CSUR.

[16]  Ehud Shapiro,et al.  A subset of Concurrent Prolog and its interpreter , 1988 .

[17]  N. Ito,et al.  The dataflow-based parallel inference machine to support two basic languages in KL1 , 1986 .

[18]  Jacob Levy,et al.  A GHC Abstract Machine and Instruction Set , 1986, ICLP.