IMAGO Prolog and its compilation

In this paper, we briefly introduce our IMAGO (intelligent mobile agent gliding on-line) system - an infrastructure for mobile agent applications. Then we focus on the IMAGO Prolog-an agent application development kit based on Prolog, and its compilation techniques. IMAGO Prolog is a simplified Prolog with an extended application-programming interface (API) to support mobile agent applications. The implementation of IMAGO Prolog is based on a multithreading logic virtual machine (MLVM). The most significant differences from traditional Prolog virtual machines are that MLVM adopts a novel memory management approach, such as single stack scheme and CGC, and fully supports distributed as well as mobile agent applications. To translate an IMAGO program to a set of high efficient MLVM code, the design of IMAGO Prolog compiler is concentrated on five aspects: compatibility, memory management, separate compilation, two stream coding and optimization.