【摘 要】
：
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义,表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个
论文部分内容阅读
Fitting提出一种逻辑程序设计语言proflog,并把表推演机制作为语言的过程语义,表推演具有直观、灵活的特点,它的单步扩展规则具有很强的语义特征,它是扩展逻辑程序类的另一个理想的证明论.不过proflog包含了全部一阶理论,等词的替换性使得proflog过程语义比较复杂,在此提出讨论一种受限的程序语言cProflog,它包含函词,但限制了等词的替换性,体现了表达能力与计算复杂性之间的平衡,对于逻辑程序语言cProflog,还给出了复杂性较低的表推演过程.
其他文献
利用基于模糊的诊断理论研究了元件的替换测试,提出了相关部分替换测试的概念,利用元件替换对系统观测值的影响刻画了诊断的判定、新冲突的生成,并利用替换的特殊性,刻画了诊
电网结构越来越复杂,设备呈现类型众多、数量庞大、技术新等特点.电网运行过程中变电站各个元器件随之产生大量数据,数据的多样化考验变电运维人员的处理能力,如何对数据进行
护人员接触病人最多，大量的护理操作要与各种各样的感染性体液和分泌物接触，处于被病原菌感染的危险之中，加强护理人员的自身防护无论对护理人员自身而是对病人显得非常重要。
那就是欧朋手机浏览器专为键盘手机用户量身打造的欧朋浏览器Lite（以下简称“欧朋Lite”），将时尚酷炫的手机上网体验带给更多的用户。 欧朋Lite基于被称为史上最适合键盘手机的浏览器Opera Mini 4.0开发，在大屏触控当道的时代为特立独行的键盘手机用户带来丝毫不逊于触控手机的浏览体验。欧朋Lite承袭Opera欧朋一贯的优点，极速加载、超省流量的同时为键盘手机设计独特功能，将键盘手机的
目前,我国正在加大力度对风能的循环开发与利用,将许多现代控制技术运用到风力发电机组中,希望可以借此提高风力发电机组的工作效率与质量,维持风力发电机组的稳定性,并且借
本文简要阐述了人工湿地的概念和主要构成,总结了人工湿地对水环境改善、污水去除的机理,并探讨人工湿地在水环境改善的应用.
本刊临潼编委工作站讯(张锋、仝武军撰稿,张哲摄影)2009年6月3日全军疗养院海潜、空勤科骨干培训班开班仪式在兰州军区临潼疗养院蕙泉楼多功能厅隆重举行,总后卫生部保健局席
笔者相信,本文的结果不仅对完善模糊理论和发展模糊技术有重要意义,而且对揭示人脑信息处理机理、实现计算机模拟人脑思维也有重要意义和价值.此外,基于本文的结果,我们还可
现如今随着我国经济建设持续的发展,使其带动了我国电力行业不断的进步,但是在电力行业中,线损问题一直都是人们十分关注的内容,如果出现线损问题,不仅仅会影响到人们的日常
随着科学技术的飞速发展,电网建设也逐渐实现了智能化,在不久的将来会得到全面的应用.在智能电网建设的过程中,电力工程技术发挥着非常重要的作用,使智能电网建设的效率和质