Abstract
The object of this study is to consider how one could enable two or more Prolog-like systems to talk about problem solutions, and how more complex modes of communication could be defined in this framework. A 'reference list' associated with each clause indicates to which system the clause belongs (and where it came from). If a reference list is associated with an expression, it determines where this expression is to be sent if the appropriate action is taken. A special metapredicate is used to associate the answer (or answers) directly with each problem solved, and so, failures, for example, are represented in an explicit manner. The metapredicates sent to other systems may include the existing metapredicates of Prolog, the new metapredicates introduced, or conjunctions and disjunctions of metapredicates.

Abstract

Abstract

Abstract