塞尔吉奥·安托伊 函数逻辑编程的评估策略。 （英语） 兹比尔1129.68019 J.塞姆。计算。 40，第1期，875-903（2005）. 概述：函数逻辑编程语言的基础和实现方面的最新进展源于对缩小评估策略的深远影响。窄化是一种类似于重写的计算，它除了产生正规形式外还产生替换。在函数逻辑编程中，应用窄化的重写系统类在很大程度上是基于构造函数（可能是条件重写系统）的子类。许多有趣的缩小策略，特别是对于基于构造函数的重写系统的最小子类来说，都是众所周知的重写策略的推广。然而，一些针对更大的非融合子类的策略已经被开发出来，只用于函数逻辑计算。本文讨论了在函数逻辑计算评估策略中发挥相关作用的元素，描述了一些重要的重写系统类，这些重写系统为函数逻辑程序建模，并举例说明了这些类在表达能力上的差异，并回顾了针对每类重写系统提出的缩小策略的特点。 引用于13文件 MSC公司： 68N17号 逻辑编程 68甲18 函数编程和lambda演算 关键词：评价战略；缩小；定义树；基于构造函数的重写系统；功能逻辑编程 软件：巴贝尔；内核-叶；PAKCS公司；玩具 PDF格式BibTeX公司 XML格式引用 \textit{S.Antoy}，J.Symb。计算。40，第1号，875--903（2005；Zbl 1129.68019） 全文： 内政部 参考文献： [1] 阿伊特·卡奇，H.，《生活概述》（Schmidt，J.；Stogny，A.，《下一代信息系统技术研讨会论文集》，《新一代信息技术研讨会论文》，LNCS，第504卷（1990），斯普林格出版社），42-58 [2] 阿尔伯特，E。；哈努斯，M。；Huch，F。；奥利弗·J。；Vidal，G.，《函数逻辑语言的操作语义》（Comini，M.；Falaschi，M.，《理论计算机科学电子笔记》，第76卷（2002年），爱思唯尔科学出版社），在线阅读 [3] Anastasiadis，J。；Kuchen，H.，《高阶巴别塔：语言与实现》，（Dyckhoff，R.；Herre，H.；Schroeder-Heister，P.，《第五届逻辑程序设计扩展国际研讨会论文集》，ELP'96。程序。第五届逻辑程序设计扩展国际研讨会。ELP'96年3月。程序。第五届逻辑程序设计扩展国际研讨会。96年ELP。程序。第五届逻辑程序设计扩展国际研讨会。ELP’96，3月，LNCS，第1050卷（1996），施普林格：施普林格莱比锡，德国） [4] Antoy，S.，逻辑编程中的非确定性和惰性评估，（Clement，T.P.；Lau，K.-K.，《逻辑编程综合与转换》，LOPSTR'91。逻辑编程综合与转换。91年7月（1991年），英国曼彻斯特斯普林格·弗拉格 [5] Antoy，S.，《定义树》，（第四届国际代数和逻辑编程大会议事录。第四届世界代数和逻辑程序设计大会议事录，LNCS，第632卷（1992年），Springer），143-157 [6] Antoy，S.，最优非确定性函数逻辑计算，（第六届代数与逻辑编程国际会议论文集，ALP’97。程序。第六届代数和逻辑程序设计国际会议。ALP’97，LNCS，第1298卷（1997），施普林格），16-30·Zbl 0886.68034号 [7] Antoy，S.，2001年。基于构造函数的条件收缩。In：程序。第三届国际ACM SIGPLAN声明性编程原理与实践会议。PPDP'01，9月，意大利佛罗伦萨。第199-205页；Antoy，S.，2001年。基于构造函数的条件收缩。In：程序。第三届国际ACM SIGPLAN声明性编程原理与实践会议。PPDP'01，9月，意大利佛罗伦萨。第199-205页 [8] Antoy，S。；Echahed，R。；Hanus，M.，《函数逻辑语言的并行评估策略》，（第14届逻辑程序设计国际会议论文集，1997年ICLP，麻省理工学院出版社），138-152 [9] Antoy，S。；Echahed，R。；Hanus，M.，《需要缩小战略》，《ACM杂志》，第47、4、776-822页（2000年）·Zbl 1327.68141号 [10] Antoy，S。；Hanus，M.，《将多段宣告式程序编译成Prolog》，（第三届组合系统前沿国际研讨会论文集，FroCoS 2000）。程序。第三届联合系统前沿国际研讨会。FroCoS 2000，3月。程序。第三届联合系统前沿国际研讨会。源于CoS 2000。程序。第三届联合系统前沿国际研讨会。FroCoS 2000，三月，LNCS，第1794卷（2000年），施普林格：施普林格-南希，法国），171-185·Zbl 0969.68667号 [11] Antoy，S。；Tolmach，A.，《没有高阶策略的高阶窄化类型》，（第四届富士函数和逻辑编程国际研讨会，FLOPS’99）。第四届富士函数与逻辑编程国际研讨会。FLOPS’99，LNCS，第1722卷（1999），筑波市斯普林格：日本筑波市施普林格），335-350·Zbl 0988.68091号 [12] 巴德，F。；Nipkow，T.，《术语改写和所有这些》（1998年），剑桥大学出版社 [13] Barry，B.，1996年。作为可计算函数在哥德尔扩展中的计算策略，需要缩小范围。波特兰州立大学硕士论文；Barry，B.，1996年。作为可计算函数在哥德尔扩展中的计算策略，需要缩小范围。波特兰州立大学硕士论文 [14] Bergstra，J.A。；Klop，J.W.，《条件重写规则：汇合与终止》，《计算机与系统科学杂志》，32，3，323-362（1986）·兹比尔0658.68031 [15] 术语重写系统，（Bezem，M.；Klop，J.W.；de Vrijer，R.（2003），剑桥大学出版社）·兹比尔1030.68053 [16] Bosco，P。；乔瓦内蒂，E。；Moiso，C.，《缩小与sld分辨率》，理论计算机科学，59，1-2，3-23（1988）·Zbl 0648.68043号 [17] Boudol，G.，术语重写系统的计算语义，（Nivat，M.；Reynolds，J.C.，语义代数方法（1985），剑桥大学出版社：剑桥大学出版社，英国剑桥），（第5章）·Zbl 0611.68007号 [18] Brand，M.v.d.，Klint，P.，2003年。ASF+SDF元环境用户手册版本：1:134。信息中心，9月18日，荷兰；Brand，M.v.d.，Klint，P.，2003年。ASF+SDF元环境用户手册版本：1:134。荷兰信息中心（CWI），9月18日 [19] Dershowitz，N.，33个终止示例，（Comon，H.；Jouannaud，J.-P.，法国春季理论计算机科学高级课程术语改写。1993年5月，Font Romeux，法国，第909卷（1995），Springer-Verlag:Springer-Verlag Berlin），16-26 [20] 北卡罗来纳州德肖维茨。；Jouannaud，J.，重写系统（van Leeuwen，J.），《理论计算机科学手册B：形式方法和语义》（1990），北荷兰：北荷兰阿姆斯特丹），243-320，（第6章）·Zbl 0900.68283号 [21] Dijkstra，E.W.，《程序设计学科》（1976），普伦蒂斯·霍尔出版社·Zbl 0286.00013号 [22] 乔瓦内蒂，E。；列维·G。；莫伊索，C。；Palamidessi，C.，《内核LEAF:逻辑加函数语言》，《计算机与系统科学杂志》，42139-185（1991）·Zbl 0717.68013号 [23] González-Moreno，J.C.，1993年。沃伦的HO翻译成FO的正确性证明。In：程序。GULP’93年。10月，意大利丽都Gizzeria。第569-585页；González Moreno，J.C.，1993年。沃伦的HO翻译成FO的正确性证明。In：程序。GULP’93年。10月，意大利丽都Gizzeria。第569-585页 [24] González-Moreno，J.C。；Fraguas，F.J.L。；González，M.T.H。；Artalejo，M.R.，基于重写逻辑的声明式编程方法，《逻辑编程杂志》，40，47-87（1999）·Zbl 0942.68060号 [25] González-Moreno，J.C.，Gonzélez，M.T.H.，Artalejo，M.R.，1997年。用于函数逻辑编程的高阶重写逻辑。In：程序。第十四届逻辑程序设计国际会议。1997年7月，比利时鲁汶ICLP。第153-167页；González-Moreno，J.C.，Gonzélez，M.T.H.，Artalejo，M.R.，1997年。用于函数逻辑编程的高阶重写逻辑。In：程序。第14届逻辑编程国际会议。1997年7月，比利时鲁汶ICLP。第153-167页 [26] González-Moreno，J.C。；González，M.T.H。；Artalejo，M.R.，《函数逻辑编程中的多态类型》，《函数与逻辑编程杂志》2001（1）（2001）·Zbl 0971.68081号 [27] Hanus，M.，《函数与逻辑编程的集成：从理论到实践》，《逻辑编程杂志》，19-20，583-628（1994）·Zbl 0942.68526号 [28] Hanus，M.，2003年。Curry：一种集成的函数逻辑语言（版本0.8）。可在http://www.informatik.uni-kiel.de/咖喱；Hanus，M.，2003年。Curry：一种集成的函数逻辑语言（版本0.8）。可在http://www.informatik.uni-kiel.de/咖喱 [29] Hanus，M.、Antoy，S.、Engelke，M.，Höppner，K.、Koj，J.、Niederau，P.、Sadre，R.、Steiner，F.，2003年。PAKCS：波特兰-亚琛-基尔咖喱体系。可在http://www.informatik.uni-kiel.de/pakcs；Hanus，M.、Antoy，S.、Engelke，M.，Höppner，K.、Koj，J.、Niederau，P.、Sadre，R.、Steiner，F.，2003年。PAKCS：波特兰-亚琛-基尔咖喱体系。可在http://www.informatik.uni-kiel.de/小包装 [30] 哈努斯，M。；卢卡斯，S。；Middeldorp，A.，强顺序和归纳顺序项重写系统，《信息处理快报》，67，1，1-8（1998）·Zbl 1339.68136号 [31] 哈努斯，M。；Prehofer，C.，《定义树的高阶窄化》，（第七届改写技术和应用国际会议论文集，RTA'96。程序。第七届改写技术和应用国际会议。RTA’96，LNCS，第1103卷（1996年），施普林格），138-152·Zbl 0926.68028号 [32] Huet，G。；Lévy，J.-J.，《正交项重写系统中的计算》（Lassez，J.-L.；Plotkin，G.，《计算逻辑：艾伦·罗宾逊的荣誉论文》（1991），麻省理工学院出版社：麻省理工学出版社剑桥，马萨诸塞州），395-443·兹比尔0793.03002 [33] Hussmann，H.，《非确定性代数规范和非连续重写》，《逻辑编程杂志》，第12期，第237-255页（1992年）·Zbl 0763.68050号 [34] 艾达·T。；Nakahara，K.，《最左侧外侧狭窄结石》，《函数编程杂志》，7，2，129-161（1997）·Zbl 0876.68022号 [35] Kennaway，J.R.，并行指令和相关约简系统的顺序评估策略，《纯粹逻辑和应用逻辑年鉴》，43，31-56（1989）·Zbl 0684.68043号 [36] Klop，J.W.，术语重写系统，（Abramsky，S.；Gabbay，D.；Maibaum，T.，《计算机科学逻辑手册》，第二卷（1992），牛津大学出版社），1-112·Zbl 0806.68003号 [37] Lloyd，J.，《集成函数和逻辑语言编程》，《函数和逻辑编程杂志》，3，1-49（1999）·Zbl 0924.68056号 [38] 勒根，R。；Fraguas，F.L。；Artalejo，M.R.，用于懒惰窄化的需求驱动计算策略，（第五届编程语言实现和逻辑编程国际研讨会论文集，PLILP'93。程序。第五届程序设计语言实现和逻辑程序设计国际研讨会。PLILP’93，LNCS，第714卷（1993），施普林格），184-200·Zbl 0791.68021号 [39] 洛佩斯·弗拉瓜斯，F.J。；Sánchez-Hernández，J.，《玩具：一个多参数声明系统》（Proc.RTA’99）。程序。RTA’99，LNCS，第1631卷（1999），施普林格），244-247 [40] 洛佩斯·弗拉瓜斯，F.J。；Sánchez-Hernández，J.，《失败的函数逻辑编程：面向集合的观点》（Nieuwenhuis，R。；沃伦科夫，A.，Proc。第八届国际程序设计、人工智能和推理逻辑会议。程序。第八届国际编程逻辑、人工智能和推理会议，《计算机科学讲义》，第2250卷（2001年），施普林格出版社，455-469·Zbl 1275.68047号 [41] 马里诺，J。；Moreno-Navarro，J.，《使用静态分析编译非顺序功能逻辑程序》（Pontelli，E.；Costa，V。美国，《声明性语言的实践方面》，第二次国际研讨会。PADL 2000，会议记录。声明语言的实际方面，第二次国际研讨会。PADL 2000，会议记录，2000年1月，美国马萨诸塞州波士顿，第二次国际研讨会。PADL 2000，会议记录。声明语言的实际方面，第二次国际研讨会。PADL 2000，《会议录》，2000年1月，美国马萨诸塞州波士顿，计算机科学讲义，第1753卷（2000年），斯普林格），63-80 [42] Middeldorp，A.，1997年。根据需要调用根稳定形式的计算。In:Proc。第24届ACM编程语言原理研讨会。巴黎。第94-105页；Middeldorp，A.，1997年。根据需要调用根稳定形式的计算。In:Proc。第24届ACM编程语言原理研讨会。巴黎。第94-105页 [43] 米德尔多普，A。；Okui，S.，《确定性惰性收缩演算》，《符号计算杂志》，25，6，733-757（1998）·Zbl 0983.68090号 [44] 米德尔多普，A。；奥基，S。；Ida，T.，《惰性收缩：强完备性和急切变量消除》，《理论计算机科学》，167，1-2，95-130（1996）·Zbl 0874.68157号 [45] Moreno-Navarro，J.J。；Rodríguez-Artalejo，M.，《带函数和谓词的逻辑编程：BABEL语言》，《逻辑编程杂志》，第12期，第191-223页（1992年）·Zbl 0754.68031号 [46] Nadathur，G。；Miller，D.，《（lambda）序言概述》，（第五届逻辑编程会议论文集和第五届逻辑学编程研讨会论文集），西雅图（1988），麻省理工学院出版社，810-827 [47] Nakahara，K。；米德尔多普，A。；Ida，T.，《高阶函数逻辑编程的完全收缩演算》，（第七届编程语言、实现、逻辑和程序国际研讨会论文集，PLILP’95）。程序。第七届程序设计语言、实现、逻辑和程序国际研讨会。PLILP’95，LNCS，第982卷（1995），施普林格），97-114 [48] O'Donnell，M.J.，《方程描述的系统中的计算》（LNCS，第58卷（1977），Springer）·兹比尔0421.68038 [49] O'Keefe，R.A.，《Prolog的手艺》（1990），麻省理工学院出版社：麻省剑桥 [50] 彼得森，K。；Smith，J.M.，《类型理论中的程序推导：分区问题》，《计算机语言》，第11期，第3-4期，第161-172页（1986年）·Zbl 0603.68011号 [51] Peyton Jones，S.L。；Hughes，J.，Haskell 98：一种非限定的纯功能语言（1999） [52] Prehofer，C.，《高阶窄化》，（1994年第九届IEEE计算机科学逻辑年度研讨会论文集，IEEE计算机学会出版社：法国巴黎IEEE计算机学会出版社），507-516 [53] 塞卡尔，R.C。；Ramakrishnan，I.V.，《等式逻辑中的程序设计：超越强序列性、信息和计算》，104，1，78-109（1993）·Zbl 0803.68060号 [54] 托尔马赫，A。；Antoy，S.，《核心咖喱的一元语义》（Vidal，G.，《理论计算机科学中的电子笔记》，第86卷（2003），Elsevier），在线阅读·Zbl 1270.68158号 [55] van Raamsdonk，F.，《高阶重写》，第十届重写技术与应用国际会议论文集，RTA'99。第十届改写技术与应用国际会议论文集。RTA’99，LNCS，第1631卷（1999），施普林格），220-239·Zbl 0939.68063号 [56] 沃伦，D.，1982年。PROLOG的高级扩展：是否需要？收录：《机器智能》，第10卷。第441-454页；沃伦，D.，1982年。PROLOG的高阶扩展：需要吗？收录：《机器智能》，第10卷。第441-454页 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。