集合作为函数符号的逻辑程序语言

被引量 : 0次 | 上传用户:bbxxxb
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
集合引入逻辑程序语言可以丰富逻辑程序语言的语义,但同时也增加了计算的复杂性本文介绍了一种基于集合项的归约演算,并且对集合项的存储和含集合符号的逻辑程序语言的计算进行了一些探讨.本文所介绍的方法通过规则编译时对存储有序集的改写,使得对集合的匹配通过一般函数的匹配算法就可以完成,提高了计算的效率.
其他文献
近年来,随着新会计准则的制定以及全面实施,对各个行业的财务会计制度均产生了较为深厚的影响。为了与时代发展潮流相适应,各家医院应该提高医院会计工作的质量水平,这是新会
以MeteorIIStandard图像采集卡为基础,以识别金属零件上的DataMatrix二维码为目的,对摄像头采集的图像进行处理。实现了该方法在工业流水线上的实时识别应用。
文章分析了产品创新战略导向对动态界面与产品创新绩效相关性的影响作用,提出了四个相关命题并建立了概念结构模型。分析表明产品创新战略导向对动态R&D/市场界面管理水平与产品
刑事证据开示,指在庭审前控辩双方向对方提供其已获得的与案件有关的事实情况和其他信息。刑事证据开示制度,是对抗制刑事诉讼基本制度,是审判公正兼顾效率的基本保障,亦是程序公
企业是市场经济中的一个必要组成部分,是推动经济增长的重要力量。演进经济学在研究经济体系发展变化时不可能对企业组织视而不见。尽管早期的演进经济学侧重于研究高层次的经
肖邦创作的<升C小调圆舞曲>(作品64之2)是他的14首圆舞曲中较为出名的一首.我曾经多次听过这首圆舞曲,但是真正被这首乐曲所感动的是在1998年的12月.当时正值儿子回国度假,老
期刊
本文主要通过整个沙河街组四段上亚段整个层段来研究渤南洼陷断阶带沙四上亚段二-三砂组的沉积特征。通过对已作出的17口井的测井结合300km~2三维地震资料进行井震结合综合分
目的:观察杏苏散加减治疗痰浊阻肺型慢性支气管炎急性发作的临床疗效。方法:选取登封市妇幼保健院2015年11月至2017年12月收治的70例慢性支气管炎急性发作期患者作为研究对象
通过对贵金属钯用于对苯二甲酸(PTA)精制活动周期的建立,对钯活动周期中的催化剂制备,加氢精制反应和废催化剂中钯提纯的原理、工艺等进行了探讨,对提高钯催化剂的寿命,降低PTA生产
本文介绍了短波盲区的形成原理及一般解决途径,并通过对比目前国内外的多种NVIS天线,选用半环形天线用于解决船舶的短波盲区通信,并进行了相关的试验验证,得到较好的效果。