引用本文:王健,程虎.Prolog实现技术中的原型共享思想.软件学报,1995,6(1):1-7
【打印本页】   【下载PDF全文】   查看/发表评论  【EndNote】   【RefMan】   【BibTex】
←前一篇|后一篇→ 过刊浏览    高级检索
本文已被:浏览 4078次   下载 5094 本文二维码信息
码上扫一扫!
分享到: 微信 更多
Prolog实现技术中的原型共享思想
王健1, 程虎1
中国科学院软件研究所,北京,100080
摘要:
本文介绍了GOAM──一个新的Prolog语言抽象机器中的原型共享思想.采用原型共享技术可以明显地降低Prolog程序运行时的空间消耗量,在一定程度上解决了Prolog语言特有的难题──“栈溢出”问题.
关键词:  Prolog,栈溢出,问题图,原版图,复制图,环境桢面
DOI:
分类号:
基金项目:
PROTOTYPE SHARING THOUGHT IN PROLOG IMPLEMENTATION TECHNIQUES
Wang Jian,Cheng Hu
Abstract:
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.
Key words:  Prolog, stack overflow, question graph, proto graph, copy graph, enviorment frame.