逻辑程序部分演绎系统的研制

作     者：陶意 

作者机构：北京工业大学计算机科学与工程系 

基　　金：国家863高科技项目 

出 版 物：《北京工业大学学报》 (Journal of Beijing University of Technology)

年 卷 期：1994年第20卷第3期

页      码：109-118页

摘      要：介绍了如何实现一个自动化的逻辑程序部分演绎系统，在逻辑程序部分演绎的理论基础上给出该部分演绎系统的控制结构，并分模块描述了它们的功能和实现技术，特别对核心模块──程序部分演绎模块的算法作了较为详细的分析，最后讨论了计算规则和程序改名变形方法对部分演绎结果程序执行效率的影响。

主 题 词：逻辑程序 部分演绎系统 程序设计 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203562438...