Concurrent logic languages are high-level programming languages for parallel and
distributed systems that offer a wide range of both known and novel concurrent …

Shared Prolog is a new concurrent logic language. A Shared Prolog system is composed of
a set of parallel agents that are Prolog programs extended by a guard mechanism. The …

A book that furnishes no quotations is, me judice, no book–it is a plaything. TL Peacock:
Crochet Castle The paradigm presented in this book is proposed as an agent programming …

Logic programming languages, such as Prolog, provide a high-level view of programming.
These languages allow a form of programming where one declares the logic of the problem …

This paper introduces IC-Prolog II—a new implementation of Prolog that is particularly suited
to distributed applications. Unlike other work on distributed logic programming, we do not …

Uses a single, coherent discussion to introduce the concept of parallel logic programming--
its languages, procedural programming and debugging capabilities. Also contains an …

This monograph is the first comprehensive study of the design, application, and
implementation of Pandora, a new parallel logic programming language. Pandora combines …

The key concepts of the parallel logic programming language PARLOG are introduced by
comparing the language with Prolog. Some familiarity with Prolog and with the concepts of …

The aim of O ce Information Systems is to automate aspects of the o ce work. In order for
such a system to be e cient, it has to be aware of the organizational structure of the …

Our aim is an abstract formal model and a formal language to describe cooperative
processes. As a first step in this direction this paper presents a conceptual model for …