The concurrent logic programming language CP: Definition and operational semantics

In this paper we present some of the control constructs of the language CP, which is based on a concurrent interpretation of Horn logic programming. We present a formal structural operational semantics and relate the meaning of programs in this language to the underlying (pure) Horn clause axioms.

[1]  Ehud Shapiro,et al.  Concurrent Prolog: A Progress Report , 1985, Computer.

[2]  J. Dekleer.  An assumption-based TMS , 1986 .

[3]  Carl Hewitt,et al.  The Scientific Community Metaphor , 1988, IEEE Transactions on Systems, Man, and Cybernetics.

[4]  Keith L. Clark,et al.  PARLOG: parallel programming in logic , 1986, ACM Trans. Program. Lang. Syst..

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

[6]  Elmar Eder.  Properties of Substitutions and Unifications , 1983, GWAI.

[7]  Giorgio Levi,et al.  The Declarative Semantics of Logical Read-Only Variables , 1985, SLP.

[8]  Keith L. Clark,et al.  A relational language for parallel programming , 1981, FPCA '81.

[9]  Gordon Plotkin,et al.  An Operational Semantics for CSP. , 1982 .

[10]  Pierre America,et al.  Operational semantics of a parallel object-oriented language , 1986, POPL '86.

[11]  Neil D. Jones,et al.  Stepwise Development of Operational and Denotational Semantics for Prolog , 1984, International Conference on Spoken Language Processing.

[12]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[13]  Vijay A. Saraswat,et al.  Partial correctness semantics for CP [ , | , &] , 1985, FSTTCS.

[14]  Jon Doyle,et al.  A model for deliberation, action, and introspection , 1981, SGAR.

[15]  Krzysztof R. Apt,et al.  Contributions to the Theory of Logic Programming , 1982, JACM.

[16]  William A. Kornfeld.  Concepts in parallel problem solving , 1982 .

[17]  Kazunori Ueda,et al.  Guarded Horn Clauses , 1986, LP.

[18]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[19]  Guy L. Steele,et al.  The definition and implementation of a computer programming language based on constraints , 1980 .

[20]  Luís Monteiro,et al.  A Proposal for Distributed Programming in Logic , 1984, Implementations of Prolog.

[21]  Lennart Beckman,et al.  Towards a Formal Semantics for Concurrent Logic Programming Languages , 1986, ICLP.