论文部分内容阅读
文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。
编译型PROLOG系统的若干优化实现技术
【摘 要】
：
文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。
【机 构】
：
国防科技大学计算机系
【出 处】
：
国防科技大学学报
【发表日期】
：
1989年1期
【基金项目】
：
国家自然科学基金
其他文献
油价刚刚涨过,"油荒"的阴影仍挥之不去。在我生活的城市,一些以前很少堵车的路段近期堵得厉害,车龙一排几百米,原因是前面有一个可以加到柴油的加油站。自上世纪80年代末的抢
从不可压流反问题的Lightll准确解中可知,翼面压强分布和自由来流速度两者不能同时独立地给定。这意味着对于给定的压强分布存在着一个约束条件,否则,反设计问题就是不适定的
目的掌握怀宁县钉螺分布现状、孳生特点和变化趋势,为实现消除血吸虫病目标提供科学依据。方法按照《安徽省钉螺调查实施方案》,对2018年怀宁县现有螺环境和历史有螺区域进行
学科建设对于高校建设一流大学一流学科具有重要意义，一流大学的建设需要将学科建设作为核心内容之一。 本文通过对“双一流”建设高校的一流大学建设方案开展研究，分析各所高
随着我国经济的发展，国家大力推进道路桥梁建设，在桥梁建设过程中，施工技术在整个建设中占据重要地位，直接关系到施工质量。钻孔灌注桩施工技术在桥梁施工中是最重要环节，且施工成
随着社会进步、经济发展，对于焦化行业来说，企业将面临严峻的生存与发展压力。焦化废水处理工艺改造对于焦化行业减少污水排放量和新水用量，提高废水循环利用率具有重要的意义。
某次刚刚下课，一位年轻学人问我：“你怎么理解中国人很中庸的说法？” 我毫不犹豫地回答：“那只是一种愿望，社会现实可能恰恰相反。” 所谓中庸，通俗地讲就是一种中正、温和、妥协的处世态度，它懂得包容冲突，愿意化解矛盾，具有平衡各方意见和利益的智慧，遇事不走极端，善于与整个世界共享和平、均衡的局面。 中国古代的贤哲提出这么一种哲学思想和道德境界，是不是因为古代人人都在自觉地践履中庸之道？肯定不是这
在全面深入推进"大规划"体系建设的大背景下,为进一步提高电力市场负荷预测工作的准确率,创新性地将县级电力市场负荷预测基础数据收集工作纳入公司技术监督体系,从基层着手,