论文部分内容阅读
本文从实现的角度讨论了几种有效的Prolog编译技术,包括一个有效的抽象指令集、子句选择回溯,以及可插入子句的内部谓词assert a/z的实现方法.这些技术已被应用到在VAX机上开发的Prolog编译系统中.
有效的Prolog编译实现方法
【摘 要】
：
本文从实现的角度讨论了几种有效的Prolog编译技术,包括一个有效的抽象指令集、子句选择回溯,以及可插入子句的内部谓词assert a/z的实现方法.这些技术已被应用到在VAX机上开
【机 构】
：
中国科学技术大学计算机科学技术系,中国科学技术大学计算机科学技术系合肥230026,合肥230026,合肥230026
【出 处】
：
计算机学报
【发表日期】
：
1991年4期
其他文献
内螺纹成形加工方法一般有两种：一种是机床车螺纹，效率低；另一种是丝锥攻螺纹，效率高。不管是采用前者还是后者，首先必须要加工出符合内螺纹国标规定要求的孔径，通常称为螺纹底孔直
本文定义一类型化的抽象语言like-LAMBDA,并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术.
1前言 刚断奶的仔猪采食的饲料由原来的母乳转变为固体或粉状的配合饲料．容易造成消化不良、腹泻、死亡等现象，给养猪业带来很大损失。究其原因．主要是仔猪的消化系统尚不健全．对
为了掌握各地预拌混凝土生产与应用现状，加快高性能混凝土的推广应用，住房和城乡建设部、工业和信息化部近日下发通知，决定组织开展预拌混凝土生产和应用情况调查。
水泥混凝土与沥青混凝土路面结构是道路路面结构选择中最基本的两种形式。受行车舒适度、后期管理与养护等因素影响，高等级公路基本上采用沥青混凝土路面。但从各道路路面结构
目的 探讨超声造影对肝硬化结节病变的诊断价值。方法 回顾性研究100枚肝硬化结节的超声造影的声像图的表现,所有病例均临床追踪和/或手术病理证实,包括小肝癌23枚,胆管细胞
新中国成立60年来，特别是改革开放以来，我国种植业生产取得了突破性发展，实现了历史性跨越。我国粮棉油糖菜果茶茧等主要农产品大幅度增长，结束了长期短缺的历史，实现了总量基本平
1 2007年美国饲料市场及营销概况据统计分析．2007年全美国初级饲料产量与2006年相比小幅上升．达到了1．245亿t．与2006年的1．232亿t同比增长1．1％（图1）。在过去10年中．美国的饲料产量已经
本文提出了一种新型的信息例程网模型(IP-Net)的元素符号定义及数学描述.并从分析中得出IP-Net集成是高效益的结论.从而进一步讨论了集成IP-Net模型,给出了各个办公例程之间