Mobile agent technology is an emerging technology that allows easier design, implementation, and maintenance of distributed systems. Mobility enables agents to reduce network load, overcome network latency, and handle network disconnections. Few mobile agent systems support Prolog language, and no system supports GUI programming on Prolog language. Prolog’s first order logic representation has benefits for constructing mobile agents. In this paper, we present a Prolog-based programming framework, iML, for constructing mobile agents with graphical user interfaces. On the iML framework, we provide three mechanisms: runtime environment for mobile agents, a Prolog-based mobile agent description language, and a visual tool to design GUI layouts. We evaluate the iML framework from two viewpoints: migration performance and the usability of the framework. Experimental results show that the iML method is 6.7 times smaller in size, and 6.0 times faster in migration speed in comparison with t...