The concurrent logic programming language CP: Definition and operational semantics

ABSTRACT

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.

REFERENCES

• 1: Pierre America , Jaco de Bakker , Joost N. Kok , Jan J. M. M. Rutten, Operational semantics of a parallel object-oriented language, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.194-208, January 01, 1986, St. Petersburg Beach, Florida [doi>10.1145/512644.512662]
• 2: Krzysztof R. Apt , M. H. van Emden, Contributions to the Theory of Logic Programming, Journal of the ACM (JACM), v.29 n.3, p.841-862, July 1982 [doi>10.1145/322326.322339]
• 3: Lennart Beckman, Towards a formal semantics for concurrent logic programming languages, Proceedings on Third international conference on logic programming, p.335-349, September 1986, London, United Kingdom
• 4: Clark, K.L., Gregory S., 'A relational language for parallel programming', Res report DOC 81/16, Imperial College, July 1981.
• 5: Keith Clark , Steve Gregory, PARLOG: parallel programming in logic, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.1, p.1-49, Jan. 1986 [doi>10.1145/5001.5390]
• 6: Johan de Kleer, An assumption-based TMS, Artificial Intelligence, v.28 n.2, p.127-162, March 1986 [doi>10.1016/0004-3702(86)90080-9]
• 7: Doyle, J. 'A model for deliberation, action, and introspection', PhD Thesis, MIT AI Lab, 1980.
• 8: Elmar Eder, Properties of substitutions and unifications, Journal of Symbolic Computation, v.1 n.1, p.31-46, March 1985 [doi>10.1016/S0747-7171(85)80027-4]
• 9: Jones, N.D., Mycroft, A., 'Stepwise development of operational and denotational sememtice for Prolog', Proceedings of the 1984 International Symposium on Logic Programming, Atlantic City.
• 10: William A. Kornfeld , Carl Hewitt, The Scientific Community Metaphor, Massachusetts Institute of Technology, Cambridge, MA, 1981
• 11: Kornfeld, W., 'Concepts in parallel problem solving', Phl) thesis, M.I.T., 1982.
• 12: Levi, G., Palamideaai, C. 'The declarative semantics of logical read-only variables', Proc. of $ympodum on Logic Programming, Boston, July 1985.
• 13: J. W. Lloyd, Foundations of logic programming, Springer-Verlag New York, Inc., New York, NY, 1984
• 14: Monteiro, L. 'A proposal for distributed programming in logic', in Implementations ol Prolog, eel. Campbell, J.A., Ellis Horwood Series in AI, 1984.
• 15: Pereira, L.M., Monteiro, L.F. 'The semantics of parallelism and co-routining in logic programming', in Proe. of Colloquia Mathematiea $oeietatis Janos Bolyai, 1978, pp 611-657.
• 16: Plotkin, G.D., 'Anoperational semantics for CSP', In Formal description8 of programming concepts-If ed. Bjerner, D., pp 199-224, North Holland, 183, 1984.
• 17: Plotkin, G.D., 'A structural approac~ to operational semantics', DAIMI FN-19, September 1981, CS Department, University of Aarhus.
• 18: Vijay A. Saraswat, Partial correctness semantics for CP [ , | , &], Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science, p.347-368, December 16-18, 1985
• 19: Vijay Anand Saraswat , Dana S. Scott, Concurrent constraint programming languages, 1989
• 20: Shapiro, E. Y., 'A subset of Concurrent Prolog and its interpreter', CS83-06, Weizmann Institute technical report.
• 21: Ehud Shapiro, Concurrent Prolog: A progress report, Computer, v.19 n.8, p.44-58, Aug. 1986 [doi>10.1109/MC.1986.1663307]
• 22: Steele, G.L., 'The definition emd implementation of a computer programming language based on Conattaints', PhD Thesis, EECS Department, M.I.T., August, 1980.
• 23: Ueda, K., 'Guarded Horn Clauses', ICOT Technical report TR-103, June 1985.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
  D.3 PROGRAMMING LANGUAGES
      D.3.1 Formal Definitions and Theory
          Subjects: Semantics

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.2 Semantics of Programming Languages
          Subjects: Operational semantics
  F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
      F.4.1 Mathematical Logic
          Subjects: Logic and constraint programming
          Nouns: Prolog

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.3 Deduction and Theorem Proving
          Subjects: Logic programming

General Terms:
Algorithms, Languages, Theory