摘要
本文介绍了ＧＯＡＭ──一个新的Ｐｒｏｌｏｇ语言抽象机器中的原型共享思想．采用原型共享技术可以明显地降低Ｐｒｏｌｏｇ程序运行时的空间消耗量，在一定程度上解决了Ｐｒｏｌｏｇ语言特有的难题──“栈溢出”问题．
This paper describes the prototype sharing thought in GOAM- a new abstract machine for Prolog. When backtracking, using prototype sharing technique can reduce the quantities of memory consumed by Prolog system efficiently, this helps to solve the particular problem-'stack overflow' in Prolog system.
出处
《软件学报》
EI
CSCD
北大核心
1995年第1期1-7,共7页
Journal of Software
关键词
PROLOG语言
原型共享
抽象机器
程序语言
Prolog, stack overflow, question graph, proto graph, copy graph, enviorment frame.
