【摘 要】
:
函数式语言和逻辑语言在下列意义上是互补的,基于归约的函数式程序设计语言具有确定和懒惰求解等性质.但同时它又缺少诸如存在量化的变量以及部分数据结构等所希望的性质.相
【机 构】
:
LanguageProcess.Lab.
论文部分内容阅读
函数式语言和逻辑语言在下列意义上是互补的,基于归约的函数式程序设计语言具有确定和懒惰求解等性质.但同时它又缺少诸如存在量化的变量以及部分数据结构等所希望的性质.相反,基于HORN子句逻辑和消解原理的逻辑程序设计语言允许存在量化的变量和部分数据结构但又缺少确定和懒惰求解的性质.从这个角度出发,把函数和逻辑程序设计语言结合成一种范型是很自然的,这种结合提供了一种比逻辑和函数语言表达能力更强的合一语言.提出了函数式逻辑语言的操作语义,同时表明这种操作语义在实践中是可见的.
其他文献
目的探讨肺结核患者与痰真菌培养阳性之间的相关性。方法对我院收治的126例患者抗结核治疗过程中痰真菌培养阳性出现时间、相关因素及预后进行分析。结果抗结核药物联合应用
环状介导等温DNA扩增(LAMP)技术是一种新的核酸扩增方法,它能够高特异性、高效、快速地进行核酸的扩增.利用LAMP法检测乙型肝炎病毒(HBV),能够在等温条件下于1 h内将少量的基
目的:追踪检测SARS冠状病毒(SARS-CoV)抗体在严重急性呼吸综合征(SARS)患者血清中的产生及其转归规律,为SARS诊断及防治提供依据。方法:对41例临床诊断SARS患者的血清进行了连续3年
组合性是形式描述研究的基本问题 ,便于大型程序的设计、分析、测试和复用 .为了方便用户编制大型多媒体系统的时序描述 ,组合模型是必须的 .目前 ,这样的模型有基于语言的、基于图形的、基于时间区间的和面向对象的等等 .但是 ,这些模型描述层次过低 ,很难支持两个多媒体节目之间的时序描述 .通过引入单位流的概念和扩展两种时序关系 ,研究一种多媒体节目时序描述的结构化技术 ,使复杂的多媒体节目易于理解
目的分析老年重症肺炎的临床特征及治疗的对策。方法采取回顾性的方法对我院2007年1月到2011年12月之间收录治疗的98例老年重症肺炎患者的临床资料,总结其临床症状和体征以及
目的探讨磺达肝癸钠在急性肺栓塞治疗中的有效性及安全性。方法将磺达肝癸钠用于治疗我院5例经肺CTPA确诊的肺栓塞患者,其中包括2例血小板减少患者,1例眼底出血患者,1例对低
实际的动态网络环境迫切要求在QoS路由算法设计中充分考虑网络节点所获网络状态的不精确性.建立了基于非精确状态的网络模型,并提出了一种基于概率的QoS路由算法.该算法通过
首先概括对象依赖、无冲突对象依赖集合、规范化对象模式森林和复杂对象模式规范化设计算法的基本概念和性质;然后给出并证明相应于无冲突对象依赖集合M的规范化对象模式森林F
目的:优化糖链结构分析方法,满足高通量、高灵敏度和快速分析糖基结构的要求。方法:基于DNA测序仪的荧光糖电泳(DSA-FACE),将糖蛋白经过糖苷酶酶切获得糖链,并与荧光标记物8-氨基
提出和分析了一种新型的反馈型随机神经网络,并将其用于解决复杂的人脸识别问题.该模型采用随机型加权联接,神经元为简单的非线性处理单元.理论分析揭示该网络模型存在唯一的