Go! -- A Multi-paradigm Programming Language for Implementing Multi-threaded Agents
Keith L. Clark and Frank G. McCabe
Abstract
Go! is a multi-paradigm programming language that is oriented to the needs of programming secure, production quality, agent based applications. It is multi-threaded, strongly typed and higher order (in the functional programming sense). It has relation, function and action procedure definitions. Threads execute action procedures, calling functions and querying relations as need be. Threads in different agents communicate and coordinate using asynchronous messages. Threads within the same agent can also use shared dynamic relations acting as Linda-style tuple stores.
In this paper we introduce the essential features of \go. We then illustrate them by programming a simple multi-agent application comprising hybrid reactive/deliberative ag\-ents interacting in a simulated ballroom. The dancer agents negotiate to enter into joint commitments to dance a particular dance (e.g. polka) they both desire. When the dance is announced, they dance together. The agents' reactive and deliberative components are concurrently executing threads which communicate
and coordinate using belief, desire and intention memory stores. We believe such a multi-threaded agent architecture represents a powerful and natural style of agent implementation, for which \go is well suited.
KEYWORDS: Multi-paradyme programming languages, multi-threaded logic programming,
distributed symbolic programming,
concurrent agent architectures
It will
appear in Annals of Mathematics and AI in 2004.
Click here
for a pdf version of the paper (annals.pdf, 305435 bytes).