Also in constraint languages, control seems somewhat deemphasized. The simple Prolog implementation of the ConGolog interpreter described in section 8 is at the core of a toolkit we have developed for implementing ConGolog applications. Informationpassing and belief revision in multi-agent systems . R. M. van Eijk, F. S. de Boer, W. van der Hoek, and J.-J. Ch. Informationpassing and belief revision in multi-agent systems .
Deduction serves to derive information from a received message.
Abduction serves to explain facts and to find plans to fulfil requests. A semantics based on abduction is provided for the req and offer primitives and is the main contribution of this paper. Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Deduction serves to derive information from a received message. Abduction serves to obtain proposals in reply to requests.