论文部分内容阅读
使用Pro图作为工具对一个双重递归的Prolog程序进行图解,给出了该程序的Pro图,该图激活时各谓词和参量的变化情况,用逐步推导的详细演算式描述了其复杂的运行机制.
双重递归Pro1og程序的运行机制
【摘 要】
：
使用Pro图作为工具对一个双重递归的Prolog程序进行图解,给出了该程序的Pro图,该图激活时各谓词和参量的变化情况,用逐步推导的详细演算式描述了其复杂的运行机制.
【机 构】
：
哈尔滨工程大学计算机与信息科学系哈尔滨 150001
【出 处】
：
哈尔滨工程大学学报
【发表日期】
：
1998年1期
其他文献
介绍了一个基于抽象类层次和扩展ＣＳＧ结构的面向对象图形建模方法首先讨论了利用面向对象技术建模的特点，然后从两个抽象类层次描述了建模系统的结构，在分析传统的实体造型技术ＣＳＧ方法基础上，提出了适合于面向对象图形建模扩展ＣＳＧ结构的概念及其应用
河北邯郸北方汽车摩托车电工专业学校联合中国车检中心、机械工业出版社、朱军汽车实验室和深圳威宁达实业公司要在8月24-26日举办汽车电控维修技术研讨会,邀请的都是汽车维
1 临床资料rn男29例,女16例,男女比例 1.8:1,年龄最小18岁,最大61岁, 平均40岁,其中40岁以上者24例(53%).rn1.1 临床表现咳嗽,咯痰11例,胸痛10例,咯血者5例,气短,胸闷4例.17
循环塑性应变能作为疲劳损伤参量用于疲劳过程研究已经多年,但其演化规律的数学描述至今尚不完善.本文在分析循环塑性应变能循环相关特点的基础上,建立了它的损伤演化方程,并
南昌市地下水动态监测对监测范围内的第四系孔隙水和第三系红层裂隙溶隙水的水位、水质、水温等进行长期监测,对监测区范围内出现的地下水水位变化,地下水水质污染等环境地质问题进行调查分析,为保护地质环境,为地下水资源的合理开发利用及城市规划建设提供区域性、综合性、预测性环境地质依据。
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
目的:研究老年Ig A肾病患者的临床病理相关性及影响预后的危险因素。方法:回顾性分析年龄≥60岁的原发性Ig A肾病患者的临床、病理资料及随访资料。结果:本研究共入选87例患