论文部分内容阅读
本文介绍了Ｐｒｏ树的生成规则，并以一个递归程序为例，对追踪过程和由Ｐｒｏ树图解的运行机制进行了详细比较，说明Ｐｒｏ树可作为一种直观，形象，易于理解的辅助工具，用于Ｐｒｏｌｏｇ程序的设计和调试。
Pro树与Prolog程序追踪
【摘 要】
：
本文介绍了Ｐｒｏ树的生成规则，并以一个递归程序为例，对追踪过程和由Ｐｒｏ树图解的运行机制进行了详细比较，说明Ｐｒｏ树可作为一种直观，形象，易于理解的辅助工具，用于Ｐｒｏｌｏｇ程序的设计和调试。
【机 构】
：
哈尔滨工程大学计算机系
【出 处】
：
计算机研究与发展
【发表日期】
：
1995年7期
【基金项目】
：
黑龙江省自然科学基金
其他文献
在浙西南山区——庆元县四山乡砻头村,利用抛荒多年的冷水田,采用有机生产方式,进行了中华圆田螺人工养殖的示范试验。示范试验基地产出的田螺经有机产品认证机构认证,符合国
六和塔环壁存有'南宋尚书省敕赐开化寺牒碑',是杭州仅存的一块南宋尚书省牒碑。本文对其进行释读研究,为我们了解南宋行政文书制度、宗教政策、杭州地方史及钱塘江历
文中较全面地研究了ＶＨＬＤ等述语言中关系运算的综合及其优化方法，提出了根据关系运算在描述中的不同情开以不同综合方法的策略。
今年6月13日是中国第四个'文化遗产日',杭州市从激烈竞争中脱颖而出,被确定为文化遗产日活动首届主场城市,这是国家文物局对杭州市文化遗产保护和宣传工作的充分肯定
本文提出了属性相关表这样一种新的概念，定义了相应的运算并研究了它的有关性质及定理，在此基础上提出了用属性相关表求关系模式全部主属性的等级，并给出了用主属性来组合关系模
脑胶质大部分在原发切除部位复发，常规化疗效果不佳。本文就新的胶质瘤化疗方法－间质内化疗的理论依据和优点，各种间质内给药途径，缓释材料及近年来间质内化疗的研究进展进展综述
新登古城位于杭州富阳市西南的新登镇,系富阳市市级文保单位。为明代抗御倭寇入侵而筑,故又名防倭城,是浙江省至今保存较完好的古代城堡之一。新登建置于三国吴黄武年间(222
京杭大运河是我国宝贵的文化遗产,'整体申遗'已得到高度认同和支持,国家文物局以及各地政府正加快进度,推进申遗工作的进展。中国京杭大运河博物馆是国内申遗工作成
一淳安古建筑遗存丰富淳安历史悠久,文化繁荣,先民们创造了灿烂的地域文明,给后人留下了许多宝贵的历史文化遗产。自1982年开始,我县开展过三次大规模的文物普查(1982年、198