A logic-based framework for mobile multi-agent systems

We present a Prolog-based framework for building mobile multi-agent systems. In this framework, a new concept called "field" is introduced. A field provides data and procedures which are written in forms of Prolog program. An agent can "enter" into a field. Multiple agents can enter into one field, and the data and procedures of the field are shared by the agents. Therefore, agents in a field can communicate with each other through the field. Furthermore, a field is located on a computer in a network, and an agent entering in a field migrate to a computer on which the field locate automatically. An implementation of this framework has been built on a Java environment. Example programs running on our system are included to demonstrate the effectiveness of the proposed framework.