A Functional Language for Mobile Agents with Dynamic Extension

This paper presents a prototypical functional language for controlling intelligent robots. We have demonstrated that coordinated systems to control intelligent robots are effectively constructed by higherorder mobile agents. The system was built in Java language. We propose that such system can be described in a functional language. In this paper, we report the design and a key implementation technique of the functional language to describe higher-order mobile agents for intelligent robot control.