论文部分内容阅读
本文指出，被广大热心于逻辑程序设计的工作人民经常引用的“SLD－消解完备性定理”（《见计算机工程与应用》1986年专辑《逻辑程序设计基础》约翰．劳埃德著，颜松远译）＿的叙述形式应该改变，否则，存在反例，本文给出了这个反例，对该定理的叙述形式进行了改进，并给出了证明。
对SLD—消解完备性定理的质疑和改进
【摘 要】
：
本文指出，被广大热心于逻辑程序设计的工作人民经常引用的“SLD－消解完备性定理”（《见计算机工程与应用》1986年专辑《逻辑程序设计基础》约翰．劳埃德著，颜松远译）＿的叙述形式应该
【机 构】
：
解放军信息工程学院计算机系
【出 处】
：
计算机工程与应用
【发表日期】
：
1992年1期
其他文献
本文结合石油管道运输的实例，介绍了一个工业自动化上位监视系统的设计方案。主要从系统结构和功能描述两个方面介绍了设计的思想和原则，并给出了部分实现细节。
本文指出了现在计算机和办公自动化设备等在交流供电系统设计，使用中存在，发生的问题，并讨论了一般的解决办法。
该文针对防火墙无法防护内部网络用户的攻击以及不能防备新的网络安全问题的缺陷,提出把入侵检测与防火墙相结合来提供一个更加安全的防护措施,从而达到既可以检测到内部用户的异常行为,也可以检测出突破防火墙和系统限制后的非法入侵,并对其及时地进行处理。
本文采用优化方法确定装载机工作装置连杆机构各构件尺寸和铰点位置。着重阐述优化设计数学模型的建立,全面考虑了各种约束条件。用FORTRAN语言编制了优化设计程序ZGYH,并进
【正】 作为工作计划的一部分,OODBTG对面向对象DBMS(ODM)进行了调查。其目的是从开发人员、销售商以及专家那里收集有关ODM系统的信息,以确定如何使用术语,存在哪些设计方案
实验表明,在使用防腐保鲜剂时添加赤霉素水溶性片剂对柑桔果实会产生正负两方面的影响。正面影响表现为增加果实新鲜度,减少枯蒂和枯水率;负面影响表现为增加浮皮率,在赤霉素