论文部分内容阅读
本文给出高阶函数式语言Ｐｒｏｌｏｇ语言的一种转换技术，其中主要用到抽象闭包分析，Ｌａｍｂｄａ提升，顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌｌ技术，本文的研究征顺于高阶性的处理上。
高阶函数式语言到逻辑式语言的转换
【摘 要】
：
本文给出高阶函数式语言Ｐｒｏｌｏｇ语言的一种转换技术，其中主要用到抽象闭包分析，Ｌａｍｂｄａ提升，顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌｌ技术，本文的研究征顺于高阶性的处理上。
【机 构】
：
吉林大学计算机科学系
【出 处】
：
软件学报
【发表日期】
：
1996年10期
其他文献
在实现世界里，许多物体在变形过程中其骨架线的长度基本上是保持不变的。本文提出了一个基于弧长不变的曲线变形方法，先对Ｂｅｚｉｅｒ曲线进行离散，得到逼近Ｂｅｚｉｅｒ曲线的折线，然后对关键帧折线的边
混合型学习模型ＨＬＭ将概念获取算法ＨＭＣＡＰ和神经网络算法ＦＴＡＲＴ有机结合能学习多概念和连续性性，其增量学习算法建立在二叉混合判定树结构和ＦＴＡＲＴ网络的基础上，在给系统增加新的实例时，只需进行一遍增
目的观察50例肛周多间隙脓肿术后生理盐水创口灌洗的疗效,探讨冲洗引流对肛周多间隙脓肿预后的影响。方法设立常规换药对照组50例。治疗组术后第一周加用生理盐水100 mL术后
目的观察针刺配合中药贴敷治疗腰棘间韧带损伤的临床疗效。方法采用随机对照法分治疗组（针刺加中药贴敷法）、对照组（针刺法）各40例,每日治疗1次,7次1疗程,2疗程后统计疗效。结果
班主任工作不仅能增进教师对教育工作的情感,更能增强教师的责任心.班主任天天能感受到学生那一双双渴求知识的眼神和一副副感激教师的神情,这眼神、这神情,就是促进教师不断
目前,我们基础教育正逐步从注重学生的应试能力转移到注重学生的创新意识和实践能力上，许多学科都在开展创新教育研究,探索培养创新人才的途径。然而对于我们的德育来说,则不
目的：建立测定脑得安颗粒有效成分含量的方法。方法：采用高效液相色谱法（HPLC）对脑得安颗粒中葛根的含量进行测定。结果：葛根素在0.081-0.41μg之间具有良好的线性关系,平均回收率
本文提出堆的路径二分搜索算法。当用堆来实现优先队列时，此算法可用较少的比较次数完成插入及删除最大元素等操作。
本文讨论了一个以扩充Ｌｉｓｐ方式实现的ＣＬＯＳ系统中的反射结构及其实现技术，该反射结构基于统一的对象表示，支持广义化对象模型，与宿主语言的反射有一致性，其中的反射计算采用了ＣＬＯＳ的元对象协议
自动指纹识别系统ＡＦＩＳ（ａｕｔｏｍａｔｅｄ ｆｉｎｇｅｒｐｒｅｎｔ ｉｄｅｎｔｉｆｉｃａｔｉｏｎ ｓｙｓｔｅｍ）要求对支持该 数据库中的指纹图象数据进行压缩，以提高系统实用性，其恢复图象要求有很高的保真度，以避免丢失细节，同时，在实用系统中，还需要有较快的图象恢