高级检索

    Prolog语言抽象机器GOAM的设计与实现

    Design and Implementation of an Abstract Machine GOAM for Prolog

    • 摘要: 本文提出了一种抽象机GOAM(graphorientedabstractmachine),是Prolog语言新的运行和实现方式。因为GOAM内存管理是一种堆式内存分配方法,所以具有潜在的并行性。另外GOAM控制算法是智能回溯方法,GOAM在没有引入死余信息的情况下提高了系统的效率。

       

      Abstract: 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.

       

    /

    返回文章
    返回