论文部分内容阅读
本文提出了一种抽象机ＧＯＡＭ，是Ｐｒｏｌｏｇ语言新的运行和实现方式，因为ＧＯＡＭ内存管理是一种堆式内存分配方法，所以具有潜在的并行性，另外ＧＯＡＭ控制算法是智能回溯方法，ＧＯＡＭ在没有引入冗余信息的情况下提高了系统的效率。
Prolog语言抽象机器GOAM的设计与实现
【摘 要】
：
本文提出了一种抽象机ＧＯＡＭ，是Ｐｒｏｌｏｇ语言新的运行和实现方式，因为ＧＯＡＭ内存管理是一种堆式内存分配方法，所以具有潜在的并行性，另外ＧＯＡＭ控制算法是智能回溯方法，ＧＯＡＭ在没有引入冗余信息的情况下提高了系统
【机 构】
：
中国科学院软件研究所
【出 处】
：
计算机研究与发展
【发表日期】
：
1995年3期
其他文献
高级程序设计语言（如Ｃ语言）和数据库系统的嵌套使用，作为一种有效的数据操纵和管理结构，目前在传统的离线或在线事务处理系统，以及智能控制系统中得到了广泛应用．这些应用的特点之一
随着禽流感季节的到来，很多人都开始匆忙地注射疫苗和服用维生素。要是穿上一件衣服就能抵御禽流感病毒和其他病毒的侵袭该有多好，这也正是美国康奈尔大学的资深设计师奥利维亚
潘易翻看之前二人的聊天记录,发现自己不知不觉竟已经花掉了近二十万元,却连'女友'的面都没见过。想到'女友'也曾给自己汇过款,潘易忙去查看汇款记录。仔细
3年前，发生在印度洋的海啸夺走了20余万人的生命，同时摧毁了数以百计的村镇。现在，一组科学家正在尝试在实验室里制造较小规模的海啸。当他们用于制造海啸的水槽在明年完工后，将
现代消费文化将消费置于人类活动的中心,使得消费不再反映其他的意义和价值,其本身即成为一种文化价值。消费文化的特征决定了其存在和扩张的前提是对自然资源的不断扩大的开
以大量钻探钻孔资料为基础，对马依东二井田17煤组17—1、17—2厚度变化及其沉积环境进行了分析，阐述本区17煤组煤层厚度变化控制因素，分析了17煤组厚度煤层变化的规律性，对充分利
我国制定了可持续发展的战略，为此在水文地质以及环境地质工作方面也要采取整体性治本对策，形成人类和大自然良性循环、协调发展的环境地质系统以及地下水系统。可持续发展理念
长寿湖(即狮子滩水库)是1956年建成蓄水以发电为主的山谷水库。1958年春，开始对水库进行了渔业利用。从1958年1月到现在将近两年的时间中，获得了大量标本和资料，证明草、鲢鱼确
随着我国经济体制的不断变革，电力企业在迎来发展机遇的同时，也面临着巨大的挑战。电力企业面l临的挑战主要表现在内部环境以及外部环境的变化，这些变化给电力企业思想政治工作
ＬＯＯＤＳ抽象模型是我们提出的一种直接建立在需求分析之上的面向分布式并发／并行信息系统，支持网络计算，面向对象方法与可视化方式的开发方法与工具。它的主导思想是分析，设计的模型化，支