乔纳斯·巴克伦德 逻辑编程中迭代和并发的有界量化。 （英语） Zbl 0804.68022号 新一代计算。 12，第2期，161-182（1994）. 摘要：在大多数逻辑编程语言（包括Prolog）中，重复的唯一方法是递归。在逻辑编程语言中，通过有界量化结构引入了定迭代。首先，有人声称，这种结构在表达涉及重复的关系时通常比递归更自然，尽管并不总是如此。特别是，涉及数组和类似数据结构的程序大大简化。其次，有人认为，有界量化应该可以在顺序计算机上有效地实现，并且有很高的并行运行潜力，特别是在支持SPMD计算模型的计算机上。有界量词与其他语言的相关结构进行了比较，包括命令式语言的确定循环和最近函数式语言的数组理解。 MSC公司： 68N17号 逻辑编程 关键词：并行计算；确定性相互作用；阵列；数据并行性；量词；序言；逻辑程序设计语言；有界量化 软件：哈斯克尔；Multilisp公司；GHC公司 PDF格式BibTeX公司 XML格式引用 \textit{J.Barklund}，新一代计算。12，第2号，161--182（1994；Zbl 0804.68022） 全文： 内政部 参考文献： [1] Anderson，S.和Hudak，P.，《科学计算中Haskell数组理解的编译》。SIGPLAN’90编程语言设计与实现会议，ACM出版社，纽约，1990年。 [2] Arro，H.、Barklund，J.和Bevemyr，J.，“平行有界量化——初步结果”，ACM SIGPLAN通告，第28期，第117-124页，1993年·Zbl 0795.68035号 ·数字对象标识代码：10.1145/163114.163129 [3] Barklund，J.和Bevemyr，J.，“带数组和有界量化的序言”，《Proc》。第四届逻辑程序设计和自动推理国际会议（A.Voronkov，ed.），柏林斯普林格-Verlag，1993年·兹比尔0793.68024 [4] Barklund，J.和Bevemyr，J.，“在共享内存多处理器上执行有界量化”，inProc。第四届程序设计语言实现和逻辑程序设计国际研讨会（J.Penjaam，ed.），施普林格-弗拉格，柏林，1993年·Zbl 0795.68035号 [5] Barklund，J.和Millroth，H.，“Nova Prolog”，UPMAIL技术报告，52，乌普萨拉大学计算科学系，1988年。 [6] Barklund，J.和Millroth，H.，“通过有界量化在逻辑程序中提供迭代和并发”，inProc。1992年第五代计算机系统国际会议（H.Tanaka，ed.），Ohmsha，东京，第817–824页，1992年·Zbl 0864.68015号 [7] Bevemyr，J.，“递归并行Prolog引擎”，博士。论文，乌普萨拉大学计算科学系，1993年·Zbl 0793.68024号 [8] Blank，J.，“Abstrakt-maskin för Nova Prolog”，《瑞典内部报告》，乌普萨拉大学计算科学系，1991年。 [9] Carlsson，M.，《关于优化编译Prolog中浅层回溯的效率》，inProc。第六届逻辑程序设计国际会议（G.Levi和M.Martelli主编），麻省理工学院出版社，马萨诸塞州剑桥，1989年，第3-16页。 [10] Colmerauer，A.、Kanoui，H.、Pasero，R.和Roussel，P.，《法兰西机器通讯系统》，鲁米尼爱克斯马赛大学人工智能研究小组，1972年。 [11] Conery，J.S.，“逻辑程序并行解释的AND/OR过程模型”，博士。博士论文，加州大学欧文分校，1983年。 [12] Darlington，J.、Field，A.J.、Harrison，P.G.、Kelly，P.H.J.、While，R.L.和Wu，Q.，《使用骨架函数的并行编程》，伦敦帝国学院计算系报告，1992年。 [13] DeGroot，D.，“限制和并行性”，摘自Proc。1984年第五代计算机系统国际会议（H.Aiso，ed.），荷兰阿姆斯特丹，第471-478页，1984年。 [14] Dovier，A.、Omodeo，E.G.、Pontelli，E.和Rossi，G.，“{log}:有限集逻辑编程语言”，inProc。1991年逻辑程序设计国际会议（K.Furukawa主编），麻省理工学院出版社，马萨诸塞州剑桥，第111-124页，1991年·Zbl 0874.68056号 [15] Halstead，R.，“Multilisp–并发符号计算语言”，ACM TOPLAS，2，第501-538页，1985年·Zbl 0581.68037号 ·数字对象标识代码：10.1145/4472.4478 [16] Hermenegildo，M.V.，“逻辑程序限制与并行执行的抽象机器”，inProc。第三届逻辑程序设计国际会议（E.Shapiro，ed.），柏林斯普林格-Verlag，第25-39页，1986年·Zbl 0598.68021号 [17] Hermenegildo，M.V.和Greene，K.J.，《序言及其表现：利用独立性和平行性》，《Proc。第七届逻辑程序设计国际会议（D.H.D.Warren和P.Szeredi编辑），麻省理工学院出版社，马萨诸塞州剑桥，第253-268页，1990年。 [18] Hermenegildo，M.V.和Nasr，R.I.，“and并行中回溯的有效管理”。第三届逻辑程序设计国际会议（E.Shapiro，ed.），柏林斯普林格-Verlag，第40-54页，1986年·Zbl 0598.68020号 [19] Hermenegildo，M.V.和Rossi，F.，《非严格独立和并行性》，收录于Proc。第七届逻辑程序设计国际会议（D.H.D.Warren和P.Szeredi主编），麻省理工学院出版社，马萨诸塞州剑桥，第237–2521990页。 [20] Hill，P.M.和Lloyd，J.W.，《哥德尔编程语言》，麻省理工学院出版社，剑桥，马萨诸塞州，1994年·Zbl 0850.68138号 [21] Hudak，P.、Peyton Jones，S.和Wadler，P.（编辑），“编程语言Haskell的报告”，ACM SIGPLAN通知，27,51992年。 [22] Jouret，G.K.，《为SIMD体系结构编译函数语言》，inProc。第三届IEEE并行和分布式语言研讨会，1991年。 [23] Knuth，D.E.，《计算机编程的艺术》，第1卷/基本算法，马萨诸塞州阅读，1968年·Zbl 0191.17903号 [24] Lloyd，J.W.，《逻辑编程基础》，第二版，施普林格出版社，柏林，1987年·Zbl 0668.68004号 [25] Lloyd，J.W.和Topor，R.W.，《让Prolog更具表现力》，J。《逻辑编程》，第1期，第225-240页，1984年·Zbl 0584.68022号 ·doi:10.1016/0743-1066（84）90011-6 [26] Meier，M.，“Prolog中的递归与迭代”，inProc。第八届逻辑程序设计国际会议（K.Furukawa主编），麻省理工学院出版社，马萨诸塞州剑桥，第157-169页，1991年。 [27] Metcalf，M.和Reid，J.，《Fortran 90解释》，牛津大学出版社，牛津，1990年·Zbl 0703.68030号 [28] Millroth，H.，“逻辑程序编译改革”，博士。1990年，乌普萨拉大学计算科学系，乌普巴拉计算科学博士论文10。 [29] 出版社，W.H.等人，《数值配方》，《科学计算的艺术》，英国剑桥大学出版社，1989年·Zbl 0698.65001号 [30] Sato，T.和Tamaki，H.，“一阶编译器：确定性逻辑程序合成算法”，J。《符号计算》，第8期，第605-627页，1989年·兹伯利0693.68017 ·doi:10.1016/S0747-7171（89）80064-1 [31] Schwartz，J.T.、Devar，R.B.K.、Dubinski，E.和Schonberg，E.，《集合编程：SETL简介》，施普林格-弗拉格出版社，柏林，1986年。 [32] Shapiro，E.，“并行Prolog及其解释器的子集”，ICOT技术报告，TR-003，ICOT，东京，1983。 [33] Tärnlund，S.奥兰多，“《改革》，未出版手稿，1992年。 [34] Tennent，R.D.，“类算法语言中的量化”，《信息处理快报》，第25期，第133-137页，1987年·doi:10.1016/0020-0190（87）90233-X [35] Tennent，R.D.，《程序设计语言的语义》，普伦蒂斯·霍尔国际出版社，Hemel Hempstead，1991年·Zbl 0792.68095号 [36] Ueda，K.，“Guarded Horn子句：具有Guard概念的并行逻辑编程语言”，ICOT技术报告，TR-208，东京ICOT，1986年·Zbl 0657.68011号 [37] Voronkov，A.，“有界量词的逻辑编程”，《逻辑编程——程序》。第二届俄罗斯逻辑程序设计会议（A.Voronkov，ed.），柏林斯普林格-Verlag，第486–5141992页·Zbl 0925.03147号 [38] Voronkov，A.，“有界量化器的逻辑编程”，技术报告，ECRC-92-29，ECRC，慕尼黑，1992年·Zbl 0925.03147号 [39] Warren，D.H.D.，“抽象序言指令集”，《SRI技术说明》，309，SRI International，Menlo Park，Calif.，1983年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。