Actors as a special case of concurrent constraint (logic) programming

ABSTRACT

Saraswat recently introduced the framework of concurrent constraint programming [14]. The essence of the framework is that computations consist of concurrent agents interacting by communicating constraints. Several concurrent constraint programming languages have been defined. They differ in the kinds of constraints that can be used as well as the kinds of operations on constraints which are available. In this paper we introduce a very simple concurrent constraint language we call Lucy, designed to closely mimic the actor model of computation. Agents can communicate only by the posting of constraints upon bags (un-ordered collections possibly with duplicate elements). This very impoverished concurrent constraint language is a syntactic subset of Janus, a concurrent constraint language which closely resembles concurrent logic programming languages such as Guarded Horn Clauses [21], Strand [5], Parlog [2] and Flat Concurrent Prolog [13]. By identifying the subset of Janus which is an actor language, we elucidate the relationship between actors and concurrent logic programming (and its generalization as concurrent constraint programming). Lucy is best not thought of as a unification of logic and constraint programming with actor and object-oriented programming, but as the missing link between these programming language genera.

REFERENCES

• 1: Gul Abdulnabi Agha, Actors: a model of concurrent computation in distributed systems (parallel processing, semantics, open, programming languages, artificial intelligence), 1985
• 2: 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]
• 3: W.L. Clinger. Foundations of A clor semantics. PhD thesis, MIT, May. 1981.
• 4: A. Davison. Polka: A Parlog object oriented language. Technical report, Department of Computing, Imperial College, London, 1988.
• 5: Ian Foster and Stephen Taylor. Strand: A practical parallel programming language. In Proceedings of the North American Logic Programming Conference, 1989.
• 6: K. Furu'..(awa, Takeuchi. A., S. Kunifuji, H. Yasukawa, M. Ohki, and K. Ueda. Mandala: A logic bm;ed knowledge programming system. In ICOT, e,titor, Proc of the Internation Conference on Fifth Generation Computer Systems, 1984.
• 7: Carl He~itt. The Ecology of Computation, chapter Offices are open systems. Elsevier Science Publishers/North-Holland, 1988.
• 8: Doug DeGroot , Gary Lindstrom, Logic programming: functions, relations, and equations, Prentice-Hall, Inc., Upper Saddle River, NJ, 1986
• 9: Kenneth Kahn , Eric Dean Tribble , Mark Miller , Daniel G. Bobrow, Vulcan: logical concurrent objects, Research directions in object-oriented programming, MIT Press, Cambridge, MA, 1987
• 10: Ken Kahn and Mark S. Miller. The Ecology of Com~utation, chapter Language Design and Open Systems. North Holland, 1988.
• 11: Kenneth Kahn. Objects- a fresh look. In Proceedings of the Third European Conference on Object-C'riented Programming, pages 207-224. Cambridge University Press, July 1989.
• 12: Hector J. Levesque, Foundations of a functional approach to knowledge representation., Artificial Intelligence, v.23 n.2, p.155-212, July 1984 [doi>10.1016/0004-3702(84)90009-2]
• 13: Colin Mierowsky. Design and implementation of Flat Concurrent Prolog. Technical Report CS84- 21, Weizmann Institute of Science, December 1984.
• 14: Vijay Anand Saraswat , Dana S. Scott, Concurrent constraint programming languages, 1989
• 15: Vijay A. Saraswat , Ken Kahn , Jacob Levy, Janus: a step towards distributed constraint programming, Proceedings of the 1990 North American conference on Logic programming, p.431-446, January 1990, Austin, Texas, United States
• 16: Vijay A. Saraswat, Kenneth M. Kahn, and Jacob Levy. Distributed constraint programming~the dc framework and janus. Technical report, Xerox PARC, .~mgust 1989.
• 17: Vijay A. Saraswat , Martin Rinard, Concurrent constraint programming, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.232-245, December 1989, San Francisco, California, United States [doi>10.1145/96709.96733]
• 18: Vijay A. Sara.swat, Martin Rinard, and Prakash Panagaden. Fully abstract "may" semantics for concurrent constraint languages. Technical report, Xerox PARC, March 1990.
• 19: Ehud Shapiro and A. Takeuchi. Object oriented programming in concurrent prolog. New Generation Computing, 1:25-48, 1983.
• 20: C. Tomlinson , V. Singh, Inheritance and synchronization with enabled-sets, Conference proceedings on Object-oriented programming systems, languages and applications, p.103-112, October 02-06, 1989, New Orleans, Louisiana, United States
• 21: K Ueda. Guarded Horn Clauses. Technical Report TP~-103, ICOT, June 1985.
• 22: M. Young , A. Tevanian , R. Rashid , D. Golub , J. Eppinger, The duality of memory and communication in the implementation of a multiprocessor operating system, Proceedings of the eleventh ACM Symposium on Operating systems principles, p.63-76, November 08-11, 1987, Austin, Texas, United States

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Concurrent programming structures

  F. Theory of Computation
  F.1 COMPUTATION BY ABSTRACT DEVICES
      F.1.2 Modes of Computation
          Subjects: Parallelism and concurrency

General Terms:
Algorithms, Design, Languages