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 programming, and no system supports GUI programming on Prolog programming. Prolog ’s first order logic representation has benefits for constructing mobile agents. In this pa- per, we present a Prolog-based programming framework, iML ,for constructing mobile agents with graphical user interfaces.The iML framework consists with three parts, an integrated development environment(IDE),runtime classes for standalone deployment, and an agent code generator. 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 the Java serialization technique. We used the iML framework at our knowledge programming lecture. During the lecture,60 students attended after which 45 students could create GUI-based mobile agents,and 16 students could create excellent applications by using the framework.