Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《中国科学院研究生院学报》 1994-02
Add to Favorite Get Latest Update

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
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved