A Proposal to Merge Object Orientation, Logic Programming, and Multiple Tuple Spaces

We propose to merge in a new programming paradigm object orientation, logic programming, and multiple tuple spaces. The object oriented model supplies a well defined frame for the design of languages to be used for modular development of large systems. Logic programming allows to describe a computation by declarative definition of its properties. Finally, multiple tuple spaces provide a powerful model to describe cooperation of concurrent activities. These three paradigms do not interfere each other, as they belong to orthogonal dimensions of a programming language construction. They can hence be combined in a language that well integrates modularity, declarativity, and concurrency. 1 Introduction Multiple Tuple Space Languages Tuple space concurrent languages exploit, for cooperation among processes, the shared memory paradigm. The store (i.e. the tuple space) is a multiset of tuples that represent the cooperation state. Processes (called agents) communicate by reading and writing ..