Design and Implementation of an Abstract Machine GOAM for Prolog

This paper presents an abstract machine GOAM （graph oriented abstract machine）, which is anew running and implementing scheme for Prolog. The memory management techniques in GOAM is a kind of"heap" method, so GOAM has potential parallelism. Furthermore, the control algorithm of GOAM is an intelligent backtracking technique, which can improve system efficiency without introducing additional information.