| Prolog语言抽象机器GOAM的设计与实现 |
| |
| 引用本文： | 王健,程虎.Prolog语言抽象机器GOAM的设计与实现[J].计算机研究与发展,1995,32(3):31-36. |
| |
| 作者姓名： | 王健 程虎 |
| |
| 作者单位： | 中国科学院软件研究所 |
| |
| 摘 要： | 本文提出了一种抽象机ＧＯＡＭ，是Ｐｒｏｌｏｇ语言新的运行和实现方式，因为ＧＯＡＭ内存管理是一种堆式内存分配方法，所以具有潜在的并行性，另外ＧＯＡＭ控制算法是智能回溯方法，ＧＯＡＭ在没有引入冗余信息的情况下提高了系统的效率。
|
| 关 键 词： | Prolog语言 抽象机器 设计 |
Design and Implementation of an Abstract Machine GOAM for Prolog |
| |
| Wang Jian and Cheng Hu.Design and Implementation of an Abstract Machine GOAM for Prolog[J].Journal of Computer Research and Development,1995,32(3):31-36. |
| |
| Authors: | Wang Jian and Cheng Hu |
| |
| 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. |
| |
| Keywords: | Prolog protograph copygraph intelligent backtracking WAM GOAM |
| 本文献已被 CNKI 维普 等数据库收录！ |
