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

Content Provider	ACM Digital Library
Author	Kahn, K. Saraswat, Vijay A.
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.
Starting Page	57
Ending Page	66
Page Count	10
File Format	PDF
ISSN	03621340 15581160
DOI	10.1145/97946.97955
Journal	ACM SIGPLAN Notices (SIGP)
Volume Number	25
Issue Number	10
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1983-05-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article
Subject	Computer Graphics and Computer-Aided Design Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Concurrent objects in a logic programming framework

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

A transformation system for CLP with dynamic scheduling and CCP

Objects in concurrent logic programming languages (abstract only)

Laws of concurrent programming

Parallelism and implementation technology for (constraint) logic programming

Parallel objects on distributed constraint logic programming machines

Constraint patterns as a basis for object oriented programming

Practical proofs of concurrent programs

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

Similar Documents

Concurrent objects in a logic programming framework

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

A transformation system for CLP with dynamic scheduling and CCP

Objects in concurrent logic programming languages (abstract only)

Laws of concurrent programming

Parallelism and implementation technology for (constraint) logic programming

Parallel objects on distributed constraint logic programming machines

Constraint patterns as a basis for object oriented programming

Practical proofs of concurrent programs

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