The Control Structure and Memory Management in GOAM──an Abstract Machine for Prolog
Wang Jian; Cheng Hu(Institute of Software, Academia Sinica)
This paper gives a new classification for IB thought in Prolog realization, and discribes the control structure and memory management and their relations in a abstract machine for Prolog──GOAM. the IB technique in GOAM can realize intelligent backtracking, in the meantime, almost no additional informations are needed. The output of software modeling shows that the techniques in GOAM are very effective.
【CateGory Index】： TP273