Objects in concurrent logic programming languages

Abstract

ConcurrentProlog supports object-oriented programming with a clean semantics and additional programming constructs such as incomplete messages, unification, direct broadcasting, and concurrency synchronization [Shapiro 1983a]. While it provides excellent computational support, we claim it does not provide good notation for expressing the abstractions of object-oriented programming. We describe a preprocessor that remedies this problem.The resulting language, Vulcan, is then used as a vehicle for exploring new variants of object-oriented progrlmmlng which become possible in this framework.

Objects for Concurrent Constraint Programming

“…Concurrent logic programming follows this approach by providing each potential sender with its own stream {ST83, KTMB86], and merging them into the stream that is read by the receiver object. Often, binary trees of merge agents are used.…”