×
阿戈斯蒂诺·多维尔;安德烈亚·福米萨诺;戈帕尔·古普塔;曼努埃尔五世（Manuel V.Hermenegildo）。;恩里科·蓬泰利;里卡多·罗查

并行逻辑编程：续集。 （英语） Zbl 07776352号

理论与实践。日志。程序。 22，第6期，905-973（2022）.
摘要：多核心和高度连接的体系结构已经无处不在，这使人们对基于语言的并行开发方法重新产生了兴趣。自诞生以来，逻辑编程被认为是一种具有巨大潜力的编程范式，可以自动利用并行性。2001年出版的对并行逻辑编程头二十年研究的全面调查，为研究人员和开发人员提供了基本参考。内容在今天相当有效，但与此同时，该领域在随后的几年中继续以快速的速度发展。许多这些成就和正在进行的研究都是由技术创新的快速步伐所推动的，这导致了诸如超大集群、多核处理器的广泛扩散、通用图形处理单元的改变游戏角色以及云计算的普遍采用等进步。与此并行的还有逻辑编程领域的重大进步，例如表格、更强大的静态分析和验证、答案集编程的快速发展，以及更成熟的实现和系统。本调查对2001年以来的并行逻辑编程研究进行了回顾，从而自然延续了之前的调查。为了保持调查的独立性，它将注意力限制在主要逻辑编程语言（Prolog、Datalog、Answer Set programming）的并行化上，并强调自动并行化和保留这些语言的顺序可观察语义。该调查的目的不仅是为逻辑编程系统的研究人员和开发人员提供参考，还为任何对逻辑感兴趣的人提供阅读，并为逻辑编程以外的并行系统研究人员提供有用的信息来源。

MSC公司：

68N17号 逻辑编程

关键词：

平行度;高性能计算;逻辑程序设计

软件：

CUDA公司;四月;DASWAM公司;萨特齐拉;自动对开;CDAO商店;大数据日志;GASP公司;Ciao公司;Multilisp公司;帕洛;Potassco公司;斯莫德尔斯;Hadoop公司;Picat-SAT卫星;CiaoPP公司;B-序言;YAP-序言;OPTYap公司;PhyloWS公司;阳光;开放运算语言;Yedalog公司;GHC公司;SeaHorn公司;阿司匹林;SWI-预测;伯克明州;LPaaS公司;SICStus公司;XSB公司;网络PIE;普雷格尔;HaLoop公司;YapOr公司
PDF格式BibTeX公司 XML格式引用
\textit{A.Dovier}等人，《理论与实践》。日志。程序。22，第6号，905--973（2022；Zbl 07776352）
全文： DOI程序 arXiv公司

参考文献：

[1] Afrati，F.N.、Borkar，V.R.、Carey，M.J.、Polyzotis，N.和Ullman，J.D.2011。Map-Reduce扩展和递归查询。在第14届扩展数据库技术国际会议上。ACM，纽约，1-8。
[2] Afrati，F.N.和Ullman，J.D.2010。在Map-Reduce环境中优化联接。在第13届国际扩展数据库技术会议上。ACM，纽约，99-110。
[3] Afrati，F.N.和Ullman，J.D.2012。在集群上实现了传递闭包和递归Datalog。在第15届国际扩展数据库技术会议上。ACM，纽约，132-143。
[4] Albert，E.、Arenas，P.、Genaim，S.、Puebla，G.和Zanardini，D.2007。Java字节码的成本分析。第16届欧洲程序设计研讨会，2007年ESOP，R.D.Nicola，编辑笔记，计算机科学讲座，第4421卷。德国海德堡施普林格，157-172·Zbl 1236.68042号
[5] Ali，K.A.M.和Karlsson，R.1990a。缪斯对Or-parallel Prolog的态度。国际并行程序设计杂志19，2，129-162。
[6] Ali，K.A.M.和Karlsson，R.1990b。Muse Or-parallelle Prolog模型及其性能。1990年北美逻辑编程会议。麻省理工学院出版社，马萨诸塞州剑桥，美国，757-776。
[7] Ali，K.A.M.和Karlsson，R.1992。在Muse中安排推测工作和性能结果。国际并行程序设计杂志21，6，449-476·Zbl 0804.68017号
[8] Amadini，R.、Gabbrielli，M.和Mauro，J.2014。SUNNY：用于解决约束的懒惰投资组合方法。逻辑程序设计的理论与实践14，4-5，509-524·Zbl 1307.68077号
[9] Amdahl，G.M.1967年。单处理器方法实现大规模计算能力的有效性。AFIPS’67春季联合计算机会议记录。AFIPS会议记录，第30卷。AFIPS/ACM/汤姆森图书公司，华盛顿特区，483-485。
[10] 阿帕奇。2020a。Apache软件基金会：Apache Hadoop。技术代表，网址：https://hadoop.apache.org/。
[11] 阿帕奇。2020年b月。Apache软件基金会：GraphX编程指南。技术代表，网址：http://spark.apache.org/docs/latest/graphx-programming-guide.html。
[12] Applied Logic Systems，Inc.2021年。ALS序言。技术代表，网址：https://alsprolog.com/。
[13] Areias，M.和Rocha，R.2012。使用公共表空间实现多线程本地制表。《逻辑程序设计理论与实践》，国际逻辑程序设计会议，第12、4和5期，第427-443页·Zbl 1260.68056号
[14] Areias，M.和Rocha，R.，2015年。全共享多线程表的批量评估。在第四届语言、应用和技术研讨会的后期会议上。CCIS，第563卷。德国海德堡施普林格，113-124。
[15] Areias，M.和Rocha，R.，2017年。关于用多线程表系统缩放动态编程问题。《系统与软件杂志》125，417-426。
[16] Balduccini，M.、Pontelli，E.、El-Khatib，O.和Le，H.2005。非单调推理系统的并行执行问题。并行计算31，6，608-647。
[17] 巴拉尔，C.2003。知识表示、推理和陈述式问题解决。英国剑桥大学出版社·Zbl 1056.68139号
[18] Barklund，J.1990年。并行统一。乌普萨拉大学博士论文。乌普萨拉计算机科学论文9。
[19] 博蒙特，A.J.和沃伦，D.H.，1993年。在Or-parallel Prolog系统中调度推测工作。《逻辑编程国际会议论文集》，D.S.Warren，Ed.Press，Mit，Cambridge，Ma，USA，135-149。
[20] Branas，S.、Koutris，P.和Sidiropoulos，A.2020。拓扑感知并行数据处理：模型、算法和大规模系统。在CIDR 2020年，第十届创新数据系统研究会议。www.cidrdb.org，1-8。
[21] Bonatti，P.、Pontelli，E.和Son，T.C.，2008年。答案集编程的可信解决方案。在全国人工智能会议（AAAI）上。AAAI出版社，418-423。
[22] Bone，P.2011。水星中的自动平行度。在第27届逻辑编程国际会议的技术交流中。LIPICS，第11卷，251-254。
[23] Bone，P.2012。水银自动并联。墨尔本大学博士论文。
[24] Bone，P.、Somogyi，Z.和Schachte，P.2012。并行Mercury代码中的控制回路。《2012年POPL多核编程声明性方面研讨会论文集》。ACM，纽约，11-20。
[25] Brass，S.、Dix，J.、Freitag，B.和Zukowski，美国，2001年。基于转换的自下而上计算基础良好的模型。逻辑程序设计理论与实践1，5，497-538·Zbl 1105.68322号
[26] Bu，Y.，Howe，B.，Balazinska，M.和Ernst，M.D.2010。HaLoop：大型集群上的高效迭代数据处理。VLDB捐赠会议记录3，1，285-296。
[27] Bueno，F.、Debray，S.K.、García De La Banda，M.和Hermenegildo，M.V.1994。QE-Andrra：安道尔基本模型的快速实现。技术报告CLIP13/94.0，马德里TU（UPM）。
[28] Bueno，F.、Deransart，P.、Drabent，W.、Ferrand，G.、Hermenegildo，M.V.、Maluszynski，J.和Puebla，G.1997。语义近似在约束逻辑程序验证和诊断中的作用。第三届国际会议记录。WS-on-Automated Debugging-AADEBUG。U.Linköping出版社，155-170。
[29] Bueno，F.和García De La Banda，M.2004。集合共享对于对共享来说并不总是多余的。在第七届功能和逻辑编程国际研讨会（FLOPS 2004）上。计算机科学讲义，第2998卷。德国海德堡施普林格-弗拉格，117-131年·Zbl 1122.68364号
[30] Bueno，F.、García De La Banda，M.和Hermenegildo，M.V.1999。自动并行化中抽象解释的有效性：逻辑编程中的一个案例研究。美国计算机学会程序设计语言与系统汇刊21，2，189-238。
[31] Bueno，F.、Lopez Garcia，P.和Hermenegildo，M.V.2004。通过标准抽象解释进行多变量非失效分析。第七届函数与逻辑编程国际研讨会（FLOPS 2004）。计算机科学讲义，第2998卷。德国海德堡施普林格-弗拉格，邮编：100-116·Zbl 1122.68365号
[32] 卡贝扎，D.2004。一个可扩展的、全局分析友好的逻辑编程系统。马德里政治大学（UPM）博士论文，芬欧汇川大学Facultad Informatica，28660-Boadilla del Monte，Madrid-Spain。
[33] Cabeza，D.和Hermenegildo，M.V.1996。在CIAO系统中实现分布式并发约束执行。在1996年AGP声明性编程联合会议的会议记录中，67-78。
[34] Cabeza，D.和Hermenegildo，M.V.2009。使用共享和自由信息的非严格独立程序并行化。理论计算机科学410、46、4704-4723·Zbl 1187.68123号
[35] Calegari，R.、Denti，E.、Mariani，S.和Omicini，A.2018。作为服务的逻辑编程。逻辑程序设计的理论与实践18，5-6，846-873。专题“（约束）逻辑编程中并行和分布式计算的过去和现在（以及未来）”·Zbl 1452.68036号
[36] Calimeri，F.、Perri，S.和Ricca，F.2008。ASP程序实例化的并行实验。《算法杂志》63，1-3，34-54·Zbl 1151.68356号
[37] Carlsson，M.和Mildner，P.2012。SICStus Prolog–前25年。逻辑程序设计的理论与实践12，1-2，35-66·Zbl 1244.68016号
[38] 卡罗，M.2001。对逻辑程序设计中并行性和并发性研究的一些贡献。博士论文，马德里政治大学，信息学院，28660 Boadilla del Monte，西班牙马德里。
[39] Carro，M.和Hermenegildo，M.V.1999。Prolog中使用线程和共享数据库的并发性。1999年逻辑程序设计国际会议。麻省理工学院出版社，马萨诸塞州剑桥，美国，320-334。
[40] 卡萨斯，A.2008。声明性多并行语言中的自动无限制独立并行性。新墨西哥大学电气与计算机工程系新墨西哥大学博士论文，新墨西哥州阿尔伯克基，邮编87131-0001（美国）。
[41] Casas，A.、Carro，M.和Hermenegildo，M.V.2007。逻辑程序中无限制独立与并行的注释算法。第17届基于逻辑的程序合成与转换国际研讨会（LOPSTR'07）。计算机科学讲义，第4915卷。Springer-Verlag，丹麦技术大学，138-153·兹比尔1179.68022
[42] Casas，A.、Carro，M.和Hermenegildo，M.V.2008a。非确定性、无限制、独立和并行的高级实现。在第24届逻辑程序设计国际会议（ICLP'08）上，M.García de la Banda和E.Pontelli，Eds.计算机科学讲义，第5366卷。德国海德堡施普林格-弗拉格，651-666·Zbl 1185.68152号
[43] Casas，A.、Carro，M.和Hermenegildo，M.V.2008b。面向非限制、独立和并行的执行原语的高级实现。在第十届声明性语言实践方面国际研讨会（PADL'08）上，D.S.Warren和P.Hudak，Eds.计算机科学讲义，第4902卷。德国海德堡施普林格-弗拉格，230-247。
[44] Chen，W.和Warren，D.S.，1996年。一般逻辑程序的延迟表评估。美国医学会杂志43，1，20-74·Zbl 0882.68050号
[45] Chico De Guzmán，P.、Carro，M.、Hermenegildo，M.V.、Silva，C.和Rocha，R.2008。一种改进的基于延续调用的tabling实现。在声明语言实用方面国际研讨会上。计算机科学讲义，第4902卷。施普林格，海德堡，德国，197-213。
[46] Chico De Guzmán，P.，Casas，A.，Carro，M.和Hermenegildo，M.V.，2011年。并行回溯与答案记忆的独立和平行。逻辑程序设计理论与实践，第27届国际。逻辑编程会议（ICLP’11）专刊11，4-5，555-574·Zbl 1222.68056号
[47] Chico De Guzmán，P.、Casas，A.、Carro，M.和Hermenegildo，M.V.2012。一种用于执行陷阱计算的分段交换方法。在PADL'12，N.-F.Zhou和C.Russo，Eds.计算机科学讲义，第7149卷。施普林格·弗拉格，德国海德堡，138-152年。
[48] Chin，B.、Von Dincklage，D.、Ercegovac，V.、Hawkins，P.、Miller，M.S.、Och，F.J.、Olston，C.和Pereira，F.2015。Yedalog：大规模探索知识。第1届编程语言进步峰会，2015年SNAPL，2015年5月3-6日，美国加利福尼亚州阿西洛马，T.Ball，R.Bodík，S.Krishnamurthi，B.S.Lerner和G.Morrisett，Eds.LIPICS，第32卷。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），63-78。
[49] Chisham，B.、Wright，B.、Le，T.、Son，T.C.和Pontelli，E.2011。CDAO-Store：用于系统发育分析的本体论驱动的数据集成。BMC生物信息学12，98。
[50] Ciancarini，P.1990。共享Prolog中的黑板编程。《并行计算的语言和编译器》，D.Gelernter、A.Nicolau和D.Padua主编，麻省理工学院出版社，马萨诸塞州剑桥，美国，170-185年。
[51] Citrigno，S.、Eiter，T.、Faber，W.、Gottlob，G.、Koch，C.、Leone，N.、Mateis，C.、Pfeifer，G.和Scarcello，F.1997。DLV系统：模型生成器和应用程序前端。1997年9月17日至19日，德国慕尼黑，第十二次逻辑编程研讨会，技术报告PMS-FB-1997-10。路德维希·马克西米利安慕尼黑大学，128-137。
[52] Clark，K.和Gregory，S.1986年。Parlog：逻辑并行编程。编程语言与系统学报8，1，1-49·Zbl 0592.68016号
[53] Clocksin，W.和Alshawi，H.1988。一种使用多处理器高效执行Horn子句程序的方法。新一代计算6，5，361-36。
[54] Codish，M.，Lagoon，V.和Bueno，F.2000。逻辑程序共享分析的代数方法。《逻辑编程杂志》42，2，111-149·Zbl 0944.68029号
[55] Codish，M.和Shapiro，E.，1986年。将Or-parallelism编译为And-parallolism。在第三届逻辑程序设计国际会议上。计算机科学讲义，第225卷。德国海德堡斯普林格·弗拉格帝国理工学院，283-298·Zbl 0595.68026号
[56] Condie，T.、Das，A.、Interlandi，M.、Shkapsky，A.、Yang，M.和Zaniolo，C.2018。BigData上的放大推理和高级分析。逻辑程序设计的理论与实践18，5-6，806-845·Zbl 1452.68064号
[57] 康威，T.2002。朝向平行水星。墨尔本大学博士论文。
[58] 库索特P.和库索特R.1977。抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型。在ACM编程语言原理研讨会的会议记录中。纽约ACM出版社，238-252。
[59] Dal Palú，A.、Dovier，A.、Formisano，A.和Pontelli，E.2015。SAT时CUD：GPU上的SAT求解。实验与理论人工智能杂志（JETAI）27，3，293-316。
[60] Dal Paló，A.、Dovier，A.、Pontelli，E.和Rossi，G.2009年。GASP：用惰性接地回答集合编程。《信息学基础》96，3，297-322·Zbl 1207.68118号
[61] Damásio，C.V.2000。分布式制表系统。在解析和演绎制表会议（TAPD2000）上，会议记录。维戈大学，65-75。
[62] Das，A.和Zaniolo，C.2019。陈述性递归计算的过时同步分布式模型案例。逻辑程序设计理论与实践19，5-6，1056-1072·Zbl 1434.68142号
[63] De Angelis，E.、Fioravanti，F.、Gallagher，J.P.、Hermenegildo，M.V.、Pettorossi，A.和Proietti，M.2022。用于程序验证的约束Horn子句的分析和转换。逻辑程序设计理论与实践（本期）。https://arxiv.org/abs/1208.00739
[64] De Angelis，E.、Fioravanti，F.、Pettorossi，A.和Proietti，M.，2015年。通过程序专门化基于语义的验证条件生成。在第17届国际声明式程序设计原理与实践研讨会上。ACM，纽约，91-102。
[65] De Bortoli，M.、Igne，F.、Tardivo，F.，Totis，P.、Dovier，A.和Pontelli，E.2019。面向答案集的分布式计算。第34届意大利计算逻辑会议论文集。CEUR研讨会记录，第2396卷。CEUR-WS.org，亚琛，316-326。
[66] Debray，S.K.，Lin，N.-W.和Hermenegildo，M.V.1990。逻辑程序中的任务粒度分析。在1990年ACM编程语言设计与实现会议（PLDI）的会议记录中。纽约ACM出版社，174-188。
[67] Debray，S.K.、Lopez-Garcia，P.、Hermenegildo，M.V.和Lin，N.-W.1994。估算逻辑程序的计算成本。在SAS’94中。计算机科学讲义，第864卷。德国海德堡施普林格-弗拉格，255-265。
[68] Debray，S.K.、Lopez Garcia，P.、Hermenegildo，M.V.和Lin，N.-W.1997。逻辑程序的下限成本估算。1997年国际逻辑程序设计研讨会。麻省理工学院出版社，马萨诸塞州剑桥，美国，291-305。
[69] 德卡斯特罗·杜特拉，I.1994。并行逻辑编程系统中调度和或并行工作的策略。《逻辑编程》，1994年国际研讨会论文集，美国纽约伊萨卡，1994年11月13日至17日，M.Bruynooghe，麻省理工学院出版社编辑，美国马萨诸塞州剑桥，289-304。
[70] Degreoot，D.1984年。限制性和平行性。第五代计算机系统国际会议论文集，FGCS 1984，日本东京，1984年11月6日至9日。OHMSHA Ltd.东京和北荷兰，471-478。
[71] Desouter，B.、Van Dooren，M.和Schrijvers，T.2015。表格作为带有分隔控件的库。逻辑程序设计理论与实践15，4&5，419-433·Zbl 1379.68054号
[72] Diamos，G.F.、Wu，H.、Wang，J.、Lele，A.和Yalamanchili，S.2013。多块同步处理器的关系算法。在2013年2月23日至27日于中国深圳举行的ACM SIGPLAN并行编程原理与实践研讨会上，A.Nicolau、X.Shen、S.P.Amarasinghe和R.W.Vuduc编辑于纽约，301-302。
[73] Dovier，A.、Formisano，A.和Pontelli，E.2018。并行答案集编程。在《并行约束推理手册》中，Y.Hamadi和L.Sais，Eds.Springer，Heidelberg，Germany，237-282。
[74] Dovier，A.、Formisano，A.、Pontelli，E.和Vella，F.2015。ASP计算的并行执行。在2015年ICLP技术通信中，M.De Vos、T.Eiter、Y.Lierler和F.Toni编辑，第1433卷。亚琛CEUR-WS.org。
[75] Dovier，A.、Formisano，A.、Pontelli，E.和Vella，F.2016。ASP计算的GPU实现。在PADL 2016中，M.Gavanelli和J.H.Reppy编著的《计算机科学讲义》，第9585卷。德国海德堡施普林格，30-47岁。
[76] Dovier，A.、Formisano，A.和Vella，F.2019。基于GPU的ASP求解并行性。在Declarative Programming and Knowledge Management-Conference on Declarative Programming，DECLARE 2019，Unifying INAP，WLP，and WFLP，Cottbus，Germany，2019年9月9日至12日，修订论文集，P.Hofstedt，S.Abreu，U.John，H.Kuchen和D.Seipel，Eds.《计算机科学讲义》，第12057卷。施普林格，海德堡，德国，3-23。
[77] Eiter，T.、Germano，S.、Ianni，G.、Kaminski，T.，Redl，C.、Schüller，P.和Weinzierl，A.2018。DLVHEX系统。Künstliche Intelligenz昆士利希情报32、2-3、187-189。
[78] Ekanayake，J.、Li，H.、Zhang，B.、Gunarathen，T.、Bae，S.-H.、Qiu，J.和Fox，G.C.2010。Twister：迭代Map-Reduce的运行时。第19届ACM高性能分布式计算国际研讨会论文集。纽约ACM出版社，810-818。
[79] El-Khatib，O.和Pontelli，E.2000。平行评估答案集程序的初步结果。在（约束）逻辑编程语言的并行性和实现技术研讨会上。英国伦敦。
[80] Ellguth，E.、Gebser，M.、Gusowski，M.、Kaufmann，B.、Kaminski，R.、Liske，S.、Schaub，T.、Schneidenbach，L.和Schnor，B.2009。一个简单的分布式冲突驱动答案集求解器。在逻辑程序设计和非单调推理中。德国海德堡施普林格-弗拉格，490-495。
[81] Fan，Z.、Zu，J.、Zhang，Z.，Albarghouthi，A.、Koutris，P.和Patel，J.M.2019。扩大内存中数据日志处理：观察和技术。VLDB捐赠会议记录12，6，695-708。
[82] 费希特，C.1996。逻辑程序的高效精确共享域。在PLILP中，H.Kuchen和S.D.Swierstra主编，《计算机科学讲义》，第1140卷。德国海德堡施普林格，469-470。
[83] Finkel，R.、Marek，V.、Moore，N.和Truszczynski，M.2001。并行计算稳定模型。《AAAI答案集编程春季研讨会论文集》，Provetti，A.和Tran，S.C.，AAAI/MIT出版社编辑，美国马萨诸塞州剑桥，72-75。
[84] Flanagan，C.和Felleisen，M.1995。Future的语义及其在程序优化中的使用。1995年1月23日至25日，美国加利福尼亚州旧金山，第22届ACM SIGPLAN-SIGACT编程语言原理研讨会，POPL'95:会议记录，Cytron，R.K.和Lee，P.编辑，ACM出版社，209-220。
[85] Fonseca，N.A.、Silva，F.M.A.和Camacho，R.2006。四月——归纳逻辑编程系统。在欧洲人工智能逻辑会议上。人工智能课堂讲稿，第4160卷。德国海德堡施普林格，481-484。
[86] Fonseca，N.A.、Srinivasan，A.、Silva，F.M.A.和Camacho，R.2009。分布式内存体系结构的并行ILP。机器学习74，3，257-279·兹比尔1470.68105
[87] Formisano，A.、Gentilini，R.和Vella，F.2017。在现代建筑上加速能源游戏解决方案。在第七届不规则应用：架构和算法研讨会论文集中，IA3@SC。纽约ACM，12:12:4。
[88] Formisano，A.、Gentilini，R.和Vella，F.2021。GPU上的可扩展能源游戏解决方案。IEEE并行和分布式系统汇刊32、12、2970-2982。
[89] Formisano，A.和Vella，F.2014。冲突驱动解决者的多重学习图式。《ICTCS会议记录》，S.Bistarelli和A.Formisano，CEUR编辑，第1231卷。亚琛CEUR-WS.org，133-146。
[90] Freire，J.、Hu，R.、Swift，T.和Warren，D.S.，1995年。利用表格评估中的并行性。在编程语言：实现、逻辑和程序国际研讨会上。计算机科学讲义，第982卷。施普林格，海德堡，德国，115-132。
[91] Freire，J.、Swift，T.和Warren，D.S.，1996年。超越深度优先：通过替代调度策略改进表格逻辑程序。在编程语言实现和逻辑编程国际研讨会上。计算机科学讲义，第1140卷。德国海德堡施普林格，243-258·Zbl 0924.68054号
[92] Futó，I.1993年。具有通信过程的Prolog：从T-Prolog到CSR-Prolog。在逻辑程序设计国际会议上。麻省理工学院出版社，马萨诸塞州剑桥，美国，3-17。
[93] Futó，I.和Kacsuk，P.1989。多transputer系统上的CS-PROLOG。微处理器和微系统13、2、103-112。
[94] Gallagher，J.P.、Hermenegildo，M.V.、Kafle，B.、Klemen，M.、Lopez-Garcia，P.和Morales，J.F.2020。从大步骤到小步骤语义，再到解释器专业化（特邀论文）。在《国际验证与程序转换工作标准》（VPT 2020）中。EPTCS。开放出版协会，50-65·Zbl 07453190号
[95] Ganguly，S.、Silberschatz，A.和Tsur，S.1992。并行自下而上处理数据日志查询。逻辑编程杂志14，1-2，101-126·Zbl 0772.68025号
[96] Garcia-Contreras，I.、Morales，J.F.和Hermenegildo，M.V.，2018年。面向增量和模块化上下文敏感分析。第34届逻辑编程国际会议（ICLP 2018）技术交流。信息学OpenAccess系列（OASIcs）。Dagstuhl出版社。（扩展摘要）·Zbl 1472.68035号
[97] Garcia-Contreras，I.、Morales，J.F.和Hermenegildo，M.V.2019。抽象解释中基于多元断言的指导。第28届基于逻辑的程序合成与转换国际研讨会（LOPSTR’18）论文集。《计算机科学讲义》，第11408卷。德国海德堡施普林格-弗拉格，184-201年·Zbl 1524.68086号
[98] Garcia-Contreras，I.、Morales，J.F.和Hermenegildo，M.V.2020。使用断言和开放谓词对逻辑程序进行增量分析。第29届基于逻辑的程序合成与转换国际研讨会（LOPSTR’19）论文集。计算机科学课堂讲稿。德国海德堡施普林格-弗拉格，36-56·Zbl 1502.68065号
[99] 加西亚·德拉班达，M.1994。动态调度约束逻辑编程中的独立性、全局分析和并行性。马德里政治大学博士论文。
[100] García De La Banda，M.和Hermenegildo，M.V.1993。约束逻辑程序全局分析的实用方法。1993年国际逻辑程序设计研讨会。麻省理工学院出版社，马萨诸塞州剑桥，美国，437-455。
[101] García De La Banda，M.、Hermenegildo，M.V.、Bruynooghe，M.，Dumortier，V.、Janssens，G.和Simoens，W.1996。约束逻辑程序的全局分析。美国计算机学会程序设计语言与系统汇刊18，5，564-615。
[102] García De La Banda，M.、Hermenegildo，M.V.和Marriott，K.2000。CLP语言的独立性。美国计算机学会程序设计语言与系统汇刊22，2，269-339。
[103] García De La Banda，M.、Marriott，K.和Stuckey，P.J.1995。动态调度约束逻辑程序的有效分析。1995年国际逻辑程序设计研讨会。麻省理工学院出版社，美国马萨诸塞州剑桥，417-431。
[104] Gebser，M.、Kaminski，R.、Kaufmann，B.和Schaub，T.2012。实践中的答案集求解。人工智能和机器学习综合讲座。Morgan&Claypool出版社·Zbl 1251.68060号
[105] Gebser，M.、Kaminski，R.、Kaufmann，B.、Schaub，T.、Schneider，M.T.和Ziller，S.2011a。用于答案集编程的公文包求解器：初步报告。2011年5月16日至19日在加拿大温哥华举行的第11届逻辑编程和非单调推理国际会议上。《Proceedings》，J.P.Delgrand和W.Faber，Eds.《计算机科学讲义》，第6645卷。施普林格，海德堡，德国，352-357。
[106] Gebser，M.、Kaufmann，B.、Kaminski，R.、Ostrowski，M.，Schaub，T.和Schneider，M.2011b。Potassco：波茨坦答案集解答集合。人工智能通信24，2107-124·Zbl 1215.68214号
[107] Gebser，M.、Leone，N.、Maratea，M.，Perri，S.、Ricca，F.和Schaub，T.2018。答案集编程的评估技术和系统：一项调查。第二十七届国际人工智能联合会议记录，2018年7月13日至19日，瑞典斯德哥尔摩，J.Lang，Ed.IJCAI.org，5450-5456。
[108] Gebser，M.、Maratea，M.和Ricca，F.2020。第七届答案集编程竞赛：设计与结果。逻辑程序设计理论与实践20，2，176-204·Zbl 1472.68026号
[109] Gelfond，M.和Kahl，Y.2014。知识表示、推理和智能代理的设计：答案集编程方法。英国剑桥大学出版社。
[110] Gent，I.P.、Miguel，I.、Nightingale，P.、Mccreesh，C.、Prosser，P.，Moore，N.C.和Unsworth，C.2018。并行约束求解的文献综述。逻辑程序设计的理论与实践18，5-6，725-758·Zbl 1452.68177号
[111] Goldberg，E.和Novikov，2007年。Berkmin：一款快速而强大的卫星解算器。离散应用数学155，12，1549-1561·Zbl 1121.68106号
[112] Gomes，C.P.和Selman，B.2001年。算法组合。人工智能126，1-2，43-62·Zbl 0969.68047号
[113] Gómez-Zamalloa，M.、Albert，E.和Puebla，G.2009。通过部分求值将Java字节码解码为Prolog。吉斯特514409-1427。
[114] Grebenshchikov，S.、Lopes，N.P.、Popeea，C.和Rybalchenko，A.2012。根据证明规则合成软件验证器。在ACM SIGPLAN编程语言设计与实现会议上，PLDI’12，J.Vitek，H.Lin和F.Tip，Eds.ACM，纽约，405-416。
[115] Guo，H.-F.和Gupta，G.2001。基于备选方案的动态重新排序实现表逻辑编程系统的简单方案。在逻辑程序设计国际会议上。《计算机科学讲义》，第2237卷。施普林格，海德堡，德国，181-196年·Zbl 1053.68531号
[116] Gupta，G.和Jayaraman，B.1990。逻辑程序的Or并行执行模型的准则。1990年北美逻辑编程会议。麻省理工学院出版社，美国马萨诸塞州剑桥，604-623。
[117] Gupta，G.和Pontelli，E.1997。ACE中的扩展动态相关性和平行性。《第二届并行符号计算国际研讨会论文集》，PASCO 1997，1997年7月20日至22日，美国夏威夷基黑，H.Hong，E.Kaltoffen和M.A.Hitz，美国计算机学会编辑，纽约，68-79·Zbl 0923.68055号
[118] Gupta，G.和Pontelli，E.1999。Stack-splitting：一种在分布式机器上实现Or-parallelism和and-parallilism的简单技术。在国际逻辑编程会议上，D.De Schreye，编辑。麻省理工学院出版社，马萨诸塞州剑桥，美国，290-304。
[119] Gupta，G.、Pontelli，E.、Ali，K.A.M.、Carlsson，M.和Hermenegildo，M.V.2001。Prolog程序的并行执行：一项调查。美国计算机学会程序设计语言与系统汇刊23，4，472-602。
[120] Gupta，G.和Warren，D.H.D.1992。扩展安道尔模式的口译员（初步报告）。英国布里斯托尔大学技术报告。
[121] Gurfinkel，A.、Kahsai，T.、Komuravelli，A.和Navas，J.A.2015。SeaHorn验证框架。计算机辅助验证国际会议，CAV 2015。计算机科学讲义，第9206卷。施普林格，海德堡，德国，343-361。
[122] 古斯塔夫森，J.L.1988。重新评估Amdahl定律。ACM通信31，5，532-533。
[123] 小R.H.Halstead，1985年。Multilisp：一种并发符号计算语言。美国计算机学会程序设计语言和系统汇刊7，4，501-538·Zbl 0581.68037号
[124] Haridi，S.和Brand，P.1988。安道尔Prolog：Prolog和承诺选择语言的集成。第五代计算机系统国际会议论文集，FGCS 1988，日本东京，1988年11月28日至12月2日。OHMSHA Ltd.东京和Springer-Verlag，745-754。
[125] Haridi，S.和Janson，S.1990年。Kernel Andorra Prolog及其计算模型。《逻辑编程国际会议论文集》，沃伦·D·H·D和塞雷迪·P主编，麻省理工学院出版社，马萨诸塞州剑桥，美国，31-46。
[126] Hausman，B.、Ciepielewski，A.和Haridi，S.1987。Or-parallelle Prolog在共享内存多处理器上实现了高效。在逻辑程序设计研讨会上。美国IEEE计算机学会，69-79。
[127] Henriksen，K.S.和Gallagher，J.P.2006年。通过逻辑编程对PIC程序进行抽象解释。在SCAM’06中。IEEE计算机学会，美国，184-196年。
[128] Hermenegildo，M.V.1986a。一种基于抽象机器的执行模型，用于计算机体系结构设计和并行逻辑程序的高效实现。德克萨斯大学奥斯汀分校博士论文。
[129] Hermenegildo，M.V.1986b。逻辑程序的限制并行执行的抽象机器。在第三届逻辑程序设计国际会议上。计算机科学讲义，第225卷。德国海德堡斯普林格·弗拉格帝国理工学院，25-40岁·Zbl 0598.68021号
[130] Hermenegildo，M.V.2000。自动并行化不规则和基于指针的计算：来自逻辑和约束编程的观点。并行计算26，13-14，1685-1708·Zbl 0948.68024号
[131] Hermenegildo，M.V.、Bueno，F.、Carro，M.、Lopez-Garcia，P.、Mera，E.、Morales，J.F.和Puebla，G.2012。CIAO及其设计理念概述。逻辑程序设计的理论与实践12，1-2，219-252·Zbl 1244.68019号
[132] Hermenegildo，M.V.、Bueno，F.、García De La Banda，M.和Puebla，G.1995年。CIAO多方面编译器和系统：未来（C）LP系统的实验工作台。ILPS’95逻辑编程未来愿景研讨会论文集。美国俄勒冈州波特兰市URL:http://www.cliplab.org/http://www.cliplaborg/。
[133] Hermenegildo，M.V.、Cabeza，D.和Carro，M.1995。在并行和并行逻辑编程系统的实现中使用属性变量。在ICLP’95中。麻省理工学院出版社，马萨诸塞州剑桥，美国，631-645。
[134] Hermenegildo，M.V.和Nasr，R.I.1986年。有效管理与平行主义中的回溯。在第三届逻辑程序设计国际会议上，E.Y.Shapiro，编辑笔记，计算机科学讲座，第225卷。德国海德堡施普林格-弗拉格，40-54·兹比尔0598.68020
[135] Hermenegildo，M.V.，Puebla，G.和Bueno，F.1999。使用全局分析、部分规范和可扩展断言语言进行程序验证和调试。《逻辑编程范式：25年展望》。德国海德堡施普林格-弗拉格，161-192年·Zbl 0979.68554号
[136] Hermenegildo，M.V.、Puebla，G.、Bueno，F.和Garcia，P.L.2005。使用抽象解释（和CIAO系统预处理器）集成程序调试、验证和优化。计算机编程科学58，1-2，115-140·Zbl 1076.68540号
[137] Hermenegildo，M.V.和Rossi，F.1995。逻辑程序中的严格和非严格独立并行：正确性、效率和编译时间条件。逻辑编程杂志22，1，1-45·Zbl 0829.68023号
[138] Hill，P.M.、Bagnara，R.和Zafanella，E.2002。集共享的稳健性、幂等性和交换性。逻辑程序设计理论与实践2，2，155-201·Zbl 1087.68530号
[139] Hoos，H.H.、Kaminski，R.、Lindauer，M.和Schaub，T.，2015年。aspeed：通过答案集编程的求解器调度。逻辑程序设计的理论与实践15,1117-142·Zbl 1379.68283号
[140] Hoos，H.H.、Lindauer，M.和Schaub，T.2014。答题集编程算法选择的进展。逻辑程序设计的理论与实践14,4-5569-585·Zbl 1307.68016号
[141] 胡，R.1997。分布式环境中正常逻辑程序的高效表评估。纽约州立大学计算机科学系博士论文。
[142] Huang，Y.和Chen，W.2015。在CUDA平台中对内存中的数据库进行并行查询。在2015年11月4日至6日于波兰克拉科夫举行的第十届P2P、并行、网格、云和互联网计算国际会议上，F.Xhafa、L.Barolli、F.Messina和M.R.Ogiela，美国IEEE计算机学会编辑，236-243。
[143] Igne，F.、Dovier，A.和Pontelli，E.2018。MASP-Reduce：稳定模型分布式计算的建议。第34届逻辑程序设计国际会议技术交流。OASICS 64，达格斯图尔宫，8:1-8:4。
[144] Jacobs，D.和Langen，A.1989。逻辑程序中变量混淆的准确有效近似。1989年北美逻辑编程会议。麻省理工学院出版社，美国马萨诸塞州剑桥。
[145] Janakiram，V.、Agrawal，D.和Mehrotra，R.1988。一种随机并行回溯算法。IEEE计算机汇刊37、12、1665-1676·Zbl 0663.68105号
[146] Jordan，H.、Scholz，B.和Subotic，P.2016。Soufflé：关于程序分析器的合成。《计算机辅助验证——第28届国际会议》，2016年7月17日至23日，加拿大安大略省多伦多市，CAV 2016，第二部分，S.Chaudhuri和A.Farzan编辑，《计算机科学讲稿》，第9780卷。施普林格，海德堡，德国，422-430。
[147] Jordan，H.、Subotic，P.、Zhao，D.和Scholz，B.2019。用于并发数据日志评估的专用B树。在第24届ACM SIGPLAN并行编程原理与实践研讨会的会议记录中，2019年2月16日至20日，美国华盛顿特区，PPoPP 2019，J.K.Hollingsworth和I.Keidar，编辑ACM，纽约，327-339。
[148] Kahsai，T.、Rümmer，P.、Sanchez，H.和Schäf，M.2016。JayHorn：验证Java程序的框架。计算机辅助验证-第28届国际会议，CAV 2016，Chaudhuri，S.和Farzan，A.，Eds.计算机科学讲稿，第9779卷。施普林格，海德堡，德国，352-358。
[149] Karau，H.、Konwinski，A.、Wendell，P.和Zaharia，M.2015。Learning Spark，美国奥莱利。
[150] Kelly，A.、Marriott，K.、Söndergaard，H.和Stuckey，P.J.1998。一个实用的面向对象CLP分析引擎。软件：实践与经验28，2，188-224。
[151] Khronos Group Inc.2015年。OpenCL：异构系统并行编程的开放标准。网址：http://www.khronos.org。
[152] Klemen，M.、Lopez-Garcia，P.、Gallagher，J.P.、Morales，J.F.和Hermenegildo，M.V.2020。并行逻辑程序静态成本分析的一般框架。在第29届基于逻辑的程序合成与转换国际研讨会（LOPSTR’19）的会议记录中，M.Gabbrielli，Ed.计算机科学讲义，第12042卷。德国海德堡施普林格-弗拉格，19-35·Zbl 1502.68068号
[153] Klemen，M.、Stulova，N.、Lopez-Garcia，P.、Morales，J.F.和Hermenegildo，M.V.，2018年。具有运行时检查的程序的静态性能保证。在第20届国际ACM SIGPLAN声明式编程原理与实践研讨会（PPDP’18）上。纽约ACM出版社。
[154] Konczak，K.、Linke，T.和Schaub，T.2006。答案集编程的图形和颜色。逻辑程序设计理论与实践6，1-2，61-106·Zbl 1109.68081号
[155] Körner，P.、Leuschel，M.、Barbosa，J.、Santos Costa，V.、Dahl，V.、Hermenegildo，M.、Morales，J.、Wielemaker，J.、Diaz，D.、Abreu，S.和Ciatto，G.2022。《Prolog五十年及以后》。逻辑程序设计理论与实践（本期）。https://arxiv.org/abs/2201.10816
[156] 科瓦尔斯基，R.A.1979。解决问题的逻辑。爱思唯尔北荷兰公司·Zbl 0426.68002号
[157] Lagoon，V.和Stuckey，P.J.2002。逻辑程序的精确对共享分析。在声明式编程的原理和实践中。ACM出版社，纽约，99-108。
[158] Le，H.和Pontelli，E.2005。对答案集求解者和SAT求解者共享策略的调查。德国海德堡斯普林格·弗拉格欧洲公园，邮编：750-760。
[159] Le，H.和Pontelli，E.2007。并行答案集编程求解器中的动态调度。2007年春季模拟多会议记录，SpringSim 2007。ACM出版社，纽约，367-374。
[160] Le Charlier，B.和Van Hentenryck，P.1994。Prolog通用抽象解释算法的实验评估。美国计算机学会程序设计语言与系统汇刊16，1，35-101。
[161] Leutgeb，L.和Weinzierl，A.2017年。高效惰性ASP解决技术。在声明式编程和知识管理-声明式编程会议。计算机科学讲义，第10997卷。施普林格，海德堡，德国，132-148。
[162] Li，X.，King，A.和Lu，L.2006。懒惰的集共享分析。在第八届函数和逻辑编程国际研讨会上，P.Wadler和M.Hagiya主编，计算机科学讲稿。斯普林格·弗拉格，海德堡，德国，177-191年·兹比尔1185.68225
[163] 林，Z.1989。随机并行回溯方法的预期性能。北美逻辑编程会议论文集。麻省理工学院出版社，美国马萨诸塞州剑桥，677-696。
[164] Lindauer，M.、Hoos，H.H.、Hutter，F.和Schaub，T.2015。AutoFolio：自动配置的算法选择器。《人工智能研究杂志》53745-78。
[165] Liqat，U.、Georgiou，K.、Kerrison，S.、Lopez-Garcia，P.、Hermenegildo，M.V.、Gallagher，J.P.和Eder，K.2016。在不同软件级别推断参数能源消耗函数：ISA vs.LLVM IR。资源分析的基础和实际方面：第四届国际研讨会，FOPARA 2015，英国伦敦，2015年4月11日。修订论文选集，M.V.Eekelen和U.D.Lago，Eds.计算机科学讲义，第9964卷。德国海德堡施普林格，81-100。
[166] Liqat，U.、Kerrison，S.、Serrano，A.、Georgiou，K.、Lopez-Garcia，P.、Grech，N.、Hermenegildo，M.V.和Eder，K.2014。基于XMOSISA级模型的程序能耗分析。《基于逻辑的程序合成和转换》，第23届国际研讨会，2013年LOPSTR，修订论文集，Gupta，G.和Peña，R.编辑，计算机科学讲义，第8901卷。德国海德堡施普林格，72-90。
[167] Liu，L.，Pontelli，E.，Son，T.C.和Truszczynski，M.，2010年。具有抽象约束原子的逻辑程序：计算的作用。人工智能174，3-4，295-315·Zbl 1207.68119号
[168] 劳埃德，J.W.1987。逻辑编程基础。德国海德堡施普林格-弗拉格·Zbl 0668.68004号
[169] Lopes，R.、Santos Costa，V.和Silva，F.M.A.2003。关于BEAM实施。第11届葡萄牙人工智能会议，EPIA 2003。施普林格·弗拉格，德国海德堡，131-135。
[170] Lopes，R.、Santos Costa，V.和Silva，F.M.A.2004。利用扩展安道尔模型中的并行性。IASTED并行和分布式计算与网络国际会议论文集。IASTED/ACTA，483-489年。
[171] Lopes，R.、Santos Costa，V.和Silva，F.M.A.2012。设计和实施扩展的安道尔模式。逻辑程序设计的理论与实践12，3，319-360·Zbl 1247.68045号
[172] Lopez-Garcia，P.2000。逻辑程序并行执行中的非故障分析和粒度控制。博士论文，马德里政治大学，信息学院，28660 Boadilla del Monte，西班牙马德里。
[173] Lopez-Garcia，P.、Bueno，F.和Hermenegildo，M.V.，2010年。利用模式和类型信息对逻辑程序的确定性和互斥性进行自动推理。新一代计算28，2，117-206·Zbl 1192.68130号
[174] Lopez-Garcia，P.，Darmawan，L.，Klemen，M.，Liqat，U.，Bueno，F.和Hermenegildo，M.V.，2018年。通过翻译成Horn子句和能源消耗应用程序进行基于时间间隔的资源使用验证。逻辑编程的理论与实践，用于验证的计算逻辑特刊18，2167-223。arXiv:1803.04451·Zbl 1478.68170号
[175] Lopez-Garcia，P.、Hermenegildo，M.V.和Debray，S.K.1996。逻辑程序中基于粒度的并行控制方法。符号计算杂志，并行符号计算专刊21，4-6，715-734·兹比尔0874.68043
[176] Lumsdaine，A.、Gregor，D.、Hendrickson，B.和Berry，J.2007。并行图形处理的挑战。并行处理字母17、01、5-20。
[177] Lusk，E.、Butler，R.、Disz，T.、Olson，R.和Stevens，R.，Warren，D.H.D.、Calderwood，A.、Szeredi，P.、Brand，P.，Carlsson，M.、Ciepielewski，A.、Hausman，B.和Haridi，S.，1990年。极光Or-parallel Prolog系统。新一代计算7，2/3，243-271。
[178] Maiterth，M.2012年。Pregel上的并行数据日志。蒙城路德维希·马克西米利安大学硕士论文。
[179] Malewicz，G.、Austern，M.H.、Bik，A.J.C.、Dehnert，J.C.，Horn，I.、Leiser，N.和Czajkowski，G.，2010年。Pregel：用于大规模图形处理的系统。2010年6月6日至10日在美国印第安纳州印第安纳波利斯举行的ACM SIGMOD国际数据管理会议记录中，A.K.Elmagarmid和D.Agrawal，编辑ACM，纽约，135-146。
[180] Malitsky，Y.、Sabharwal，A.、Samulowitz，H.和Sellmann，M.2012。并行SAT求解器选择和调度。《约束编程的原则与实践——第18届国际会议》，CP 2012，魁北克省魁北克市，加拿大。《计算机科学讲稿》，M.Milano编辑，第7514卷。施普林格，海德堡，德国，512-526。
[181] Maratea，M.、Pulina，L.和Ricca，F.2014。一种多引擎的应答编程方法。逻辑程序设计理论与实践14，6，841-868。
[182] Marques，R.和Swift，T.2008。正常程序的并发和本地评估。在逻辑程序设计国际会议上。计算机科学讲义，第5366卷。施普林格，德国海德堡，206-222·Zbl 1185.68170号
[183] Marques，R.、Swift，T.和Cunha，J.C.2010。并发本地表的简单高效实现。在声明语言实用方面国际研讨会上。计算机科学讲义，第5937卷。施普林格，海德堡，德国，264-278。
[184] Marriott，K.，García De La Banda，M.和Hermenegildo，M.V.1994。用动态调度分析逻辑程序。在第20届ACM编程语言原理年会上。ACM，纽约，240-254。
[185] Marron，M.、Hermenegildo，M.V.、Kapur，D.和Stefanovic，D.2008。使用基于图形的堆模型进行高效的上下文相关形状分析。在国际编译器构建会议（CC2008）上，L.Hendren，编辑笔记，计算机科学讲座。德国海德堡施普林格，245-259。
[186] Marron，M.、Kapur，D.和Hermenegildo，M.V.2009。逻辑相关堆区域的标识。ISMM'09：第八届记忆管理国际研讨会论文集。纽约ACM出版社，89-98。
[187] Marron，M.、Kapur，D.、Stefanovic，D.和Hermenegildo，M.V.，2006年。形状和连接性的静态堆分析。《并行计算的语言和编译器》（LCPC'06），G.Almási、C.Cascaval和P.Wu主编，计算机科学讲义，第4382卷。德国海德堡施普林格，345-363。
[188] Marron，M.、Kapur，D.、Stefanovic，D.和Hermenegildo，M.V.2008a。通过显式存储堆模型识别堆承载数据相关性。第21届国际并行计算语言与编译器展望（LCPC'08）。计算机科学课堂讲稿。德国海德堡施普林格-弗拉格，94-108。
[189] Marron，M.、Méndez-Lojo，M..、Hermenegildo，M.V.、Stefanovic，D.和Kapur，D.2008b。共享数组、集合和递归结构的分析。在ACM WS《软件工具和工程的程序分析》（PASTE’08）中。ACM，纽约，43-49。
[190] Martinez-Angeles，C.A.，De Castro Dutra，I.，Santos Costa，V.和Buenabad-Chávez，J.2014。GPU的数据日志引擎。《声明性编程和知识管理——声明性编程日》，KDPD 2013，统一INAP、WFLP和WLP，德国基尔，2013年9月11-13日，修订论文集，M.Hanus和R.Rocha，计算机科学讲义编辑，第8439卷。德国海德堡施普林格，152-168。
[191] Martinez-Angeles，C.A.、Wu，H.、De Castro Dutra，I.、Santos Costa，V.和Buenabad-Chávez，J.2016。使用GPU进行关系学习：加快规则覆盖率。国际并行编程杂志44，3663-685。
[192] 马特恩，F.1989。基于信用分配和恢复的全局静止检测。信息处理信件30，4，195-200。
[193] Méndez-Lojo，M.和Hermenegildo，M.V.2008。Java风格程序的精确集共享分析。在第九届验证、模型检验和抽象解释国际会议（VMCAI'08）上。《计算机科学讲义》，第4905卷。施普林格·弗拉格，德国海德堡，172-187年·Zbl 1138.68354号
[194] Méndez-Lojo，M.、Lhoták，O.和Hermenegildo，M.V.2008。使用ZBDD的高效集共享。第21届并行计算语言和编译器国际研讨会（LCPC'08）。《计算机科学讲义》，第5335卷。德国海德堡施普林格-弗拉格，94-108。
[195] Méndez-Lojo，M.，Navas，J.和Hermenegildo，M.V.2007。一种灵活的（C）基于LP的面向对象程序分析方法。在LOPSTR中。计算机科学讲义，第4915卷。德国海德堡施普林格-弗拉格，154-168·Zbl 1179.68030号
[196] Mera，E.、Lopez-Garcia，P.、Carro，M.和Hermenegildo，M.V.2008。面向抽象机器语言中的执行时间估计。在第十届ACM SIGPLAN国际声明式编程原理与实践研讨会上（PPDP'08）。纽约ACM出版社，174-184。
[197] Moustafa，W.E.，Papavasileiou，V.，Yocum，K.和Deutsch，A.2016。数据记录：在图形处理系统上缩放数据记录图形分析。2016年12月5日至8日在美国华盛顿举行的2016年IEEE国际大数据会议上，J.Joshi、G.Karypis、L.Liu、X.Hu、R.Ak、Y.Xia、W.Xu、A.Sato、S.Rachuri、L.H.Ungar、P.S.Yu、R.Govindaraju和T.Suzumura，美国IEEE计算机学会编辑，56-65。
[198] Muthukumar，K.，Bueno，F.，García De La Banda，M.和Hermenegildo，M.V.1999。针对受限、目标级、独立和并行的逻辑程序的自动编译时并行化。《逻辑编程杂志》38，2，165-218·Zbl 0927.68018号
[199] Muthukumar，K.和Hermenegildo，M.V.1989。通过抽象解释确定变量相关性信息。《逻辑编程》，《1989年北美会议论文集》，俄亥俄州克利夫兰，Lusk，E.L.和Overbeek，R.A.主编，麻省理工学院出版社，马萨诸塞州剑桥，美国，166-185。
[200] Muthukumar，K.和Hermenegildo，M.V.1990。推导逻辑程序自顶向下抽象解释的不动点计算算法。技术报告ACT-DC-153-90，微电子和计算机技术公司（MCC），德克萨斯州奥斯汀，78759。
[201] Muthukumar，K.和Hermenegildo，M.V.1991。通过抽象解释联合确定程序变量的共享性和自由性。《逻辑编程》，第八届国际会议论文集，法国巴黎，K.Furukawa，编辑出版社，Mit，Cambridge，Ma，USA，49-63。
[202] Muthukumar，K.和Hermenegildo，M.V.1992。使用抽象解释的变量依赖的编译时派生。逻辑编程杂志13，2/3，315-347·Zbl 0776.68032号
[203] Nappa，P.、Zhao，D.、Subotic，P.和Scholz，B.2019。数据日志编译器中的快速并行等价关系。在2019年9月23日至26日于美国华盛顿州西雅图举行的第28届并行架构和编译技术国际会议上。美国电气与电子工程师协会，82-96。
[204] Navas，J.、Bueno，F.和Hermenegildo，M.V.，2006年。使用团进行高效的自上而下的集共享分析。在第八届声明性语言实践方面国际研讨会（PADL’06）上。计算机科学讲义，第2819卷。施普林格·弗拉格，德国海德堡，183-198年。
[205] Navas，J.、Méndez-Lojo，M.和Hermenegildo，M.V.2008。Java字节码应用程序能量消耗的安全上限推断。在第六届NASA兰利正式方法研讨会（LFM 08）上。NASA兰利研究中心，美国弗吉尼亚州汉普顿，29-32。扩展摘要。
[206] Navas，J.、Méndez-Lojo，M.和Hermenegildo，M.V.2009。Java字节码的用户定义资源使用边界分析。理论计算机科学电子笔记253，5，65-82。
[207] Navas，J.、Mera，E.、Lopez-Garcia，P.和Hermenegildo，M.V.，2007年。逻辑程序的用户定义资源边界分析。2007年ICLP会议记录。计算机科学讲义，第4670卷。施普林格，海德堡，德国，348-363。
[208] Nguyen，H.D.、Sakama，C.、Sato，T.和Inoue，K.2018。计算线性代数中的逻辑编程语义。人工智能多学科趋势——第十二届国际会议，2018年11月18日至20日，越南河内，MIWAI 2018，Proceedings，Kaenampunpan，M.，Malaka，R.，Nguyen，D.D.and Schwind，N.，Eds.《计算机科学讲义》，第11248卷。德国海德堡施普林格，32-48。
[209] Niemela，I.和Simons，P.1997。Smodels——一个稳定模型的实现，以及正常LP的良好语义。在逻辑程序设计和非单调推理中。斯普林格·弗拉格，德国海德堡，421-430。
[210] NVIDIA公司。2021年。NVIDIA CUDA专区。网址：https://developer.nvidia.com/cuda-zone。
[211] Peralta，J.C.、Gallagher，J.P.和Saálam，H.1998。通过分析约束逻辑程序分析命令式程序。在静态分析中。第五届国际研讨会，SAS’98，比萨，G.Levi，编辑笔记，计算机科学讲座，第1503卷。施普林格，德国海德堡，246-261。
[212] Pereira，L.M.、Monteiro，L.、Cunha，J.和Aparcio，J.N.，1986年。Delta Prolog：带有事件的分布式回溯扩展。在逻辑编程国际会议上，E.Shapiro，Ed.计算机科学讲稿，第225卷。施普林格-弗拉格，德国海德堡，69-83。
[213] Pereira，L.M.和Nasr，R.I.1984。Delta Prolog：一种分布式逻辑编程语言。第五代计算机系统国际会议论文集，FGCS 1984，日本东京。OHMSHA Ltd.东京和北荷兰，283-291。
[214] Perri，S.、Ricca，F.和Sirianni，M.2013。ASP程序的并行实例化：技术和实验。逻辑程序设计的理论与实践13，2，253-278·Zbl 1267.68083号
[215] Pollard，G.H.1981年。Horn子句程序的并行执行。伦敦帝国学院博士论文。计算机系。
[216] Pontelli，E.2001。答案集程序并行执行的实验。在国际并行和分布式处理研讨会上。IEEE计算机学会，美国，20。
[217] Pontelli，E.和Gupta，G.1995。论与平行主义和与平行主义的二重性。《EuroPar会议录》，Haridi，S.和Magnusson，P.，Eds.Springer Verlag，德国海德堡，43-54。
[218] Pontelli，E.和Gupta，G.1997。ACE中的并行符号计算。数学与人工智能年鉴21，2-4，359-395·Zbl 0890.68028号
[219] Pontelli，E.和Gupta，G.1999。具有堆栈拆分的约束逻辑程序分布式执行的仿真研究。新墨西哥州立大学技术代表。
[220] Pontelli，E.和Gupta，G.2001。逻辑编程语言独立并行实现中的回溯。并行和分布式系统汇刊12，11，1169-1189。
[221] Pontelli，E.、Gupta，G.和Hermenegildo，M.V.1995&ACE：高性能并行Prolog系统。国际并行处理研讨会论文集。美国IEEE计算机学会，564-571。
[222] Pontelli，E.、Gupta，G.、Pulvirenti，F.和Ferro，A.1997。Prolog程序的编译时自动并行化，以实现依赖和并行。《第十四届逻辑程序设计国际会议论文集》，L.Naish，Ed.Press，Mit，Cambridge，Ma，USA，108-122。
[223] Pontelli，E.、Gupta，G.、Tang，D.、Carro，M.和Hermenegildo，M.V.1996。提高非确定性并行系统的效率。《计算机语言杂志》22，2/3115-142。
[224] Pontelli，E.，Le，H.和Son，T.C.，2010年。分布式存储平台上答案集程序并行执行的研究。计算机语言、系统和结构36、2、158-202。
[225] Pontelli，E.、Le，T.、Nguyen，H.和Son，T.C.2012。ASP at work:PhyloWS的ASP实现。第28届逻辑程序设计国际会议的技术通信，2012年国际逻辑程序设计联合会，匈牙利布达佩斯，Dovier，A.和Santos Costa，V.，Eds.LIPICS，第17卷。达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik），359-369年·Zbl 1281.68066号
[226] Pontelli，E.，Ranjan，D.和Dal Paló，A.2002。在非确定性计算中处理动态环境的最佳数据结构。计算机语言28，2，181-201·Zbl 1027.68038号
[227] Pontelli，E.、Villaverde，K.、Guo，H.-F.和Gupta，G.2006。堆栈拆分：一种在共享平台上高效利用搜索并行性的技术。并行与分布式计算杂志66，10，1267-1293·Zbl 1103.68441号
[228] Pontelli，E.、Villaverde，K.、Guo，H.-F.和Gupta，G.2007。PALS：在Beowulf集群上高效地并行执行Prolog。逻辑程序设计的理论与实践7，6，633-695·Zbl 1132.68325号
[229] Puebla，G.和Hermenegildo，M.V.1999。抽象多重专门化及其在程序并行化中的应用。《逻辑编程杂志》41，2&3，279-316·Zbl 0944.68026号
[230] Ranjan，D.、Pontelli，E.和Gupta，G.1999。关于Or并行性的复杂性。新一代计算17，3，285-308。
[231] Rocha，R.，Silva，F.M.A.和Martins，R.2003。YapDss：用于可扩展Beowulf集群的Or-parallel Prolog系统。第11届葡萄牙人工智能会议，EPIA 2003。斯普林格·弗拉格，德国海德堡，136-150年。
[232] Rocha，R.、Silva，F.M.A.和Santos Costa，V.1999a。或者制表中的平行度。在声明语言的实际方面国际研讨会上。计算机科学讲义，第1551卷。施普林格，海德堡，德国，137-151。
[233] Rocha，R.、Silva，F.M.A.和Santos Costa，V.1999b。YapOr：基于环境复制的Or-parallel Prolog系统。在葡萄牙人工智能会议上。《人工智能课堂讲稿》，第1695卷。施普林格，海德堡，德国，178-192年。
[234] Rocha，R.、Silva，F.M.A.和Santos Costa，V.2000。Yap Prolog系统的列表引擎。12月4日至6日在古巴哈瓦那举行的APPIA-GULP-PRODE声明性节目联合会议。古巴。
[235] Rocha，R.、Silva，F.M.A.和Santos Costa，V.2001。在一个可以利用Or-parallelism的列表引擎上。在逻辑程序设计国际会议上。计算机科学讲义，第2237卷。德国海德堡施普林格，43-58·Zbl 1053.68543号
[236] Rocha，R.、Silva，F.M.A.和Santos Costa，V.2005。在逻辑程序中应用Or-parallelism和tabling。逻辑程序设计理论与实践5，1&2，161-205·Zbl 1093.68021号
[237] Rui，R.和Tu，Y.2017。GPU上的快速等连接算法：设计与实现。2017年6月27日至29日，美国伊利诺伊州芝加哥，第29届国际科学和统计数据库管理会议记录。ACM，纽约，17:1-17:12。
[238] Saeed，I.、Young，J.和Yalamanchili，S.2015。用于高度并行数据密集型查询处理的便携式基准测试套件。在分析应用程序并行编程第二次研讨会的会议记录中。ACM，纽约，31-38。
[239] Sagonas，K.和Swift，T.1998。一种用于固定顺序分层逻辑程序表化执行的抽象机器。美国计算机学会程序设计语言与系统汇刊20，3，586-634。
[240] Santos，J.和Rocha，R.，2013年。在多核集群上并行执行Prolog。在第二届语言、应用和技术研讨会上，Leal，J.P.，Rocha，R.和Simóes，A.，Eds.OpenAccess信息学系列（OASIcs），第29卷。Dagstuhl-Leibniz-Zentrum fuer Informatik修道院，德国达格斯图尔，9-20。
[241] Santos，J.和Rocha，R.2016。关于多核集群的Or-parallel Prolog系统的实现。逻辑程序设计的理论与实践16，5-6，899-915·Zbl 1379.68081号
[242] Santos Costa，V.、De Castro Dutra，I.和Rocha，R.，2010年。线程和Or-parallelism统一了。逻辑编程理论与实践10，4-6，417-432·Zbl 1209.68088号
[243] Santos Costa，V.、Rocha，R.和Damas，L.2012。YAP Prolog系统。逻辑程序设计理论与实践12，1-2，5-34·Zbl 1244.68017号
[244] Santos Costa，V.、Warren，D.H.D.和Yang，R.1991a。安道尔I：一个并行Prolog系统，透明地利用了And和Or并行。在ACM并行编程原理与实践研讨会的会议记录中。纽约ACM出版社，83-93。
[245] Santos Costa，V.、Warren，D.H.D.和Yang，R.1991b。安道尔I引擎：基本安道尔模型的并行实现。《逻辑编程国际会议论文集》，K.Furukawa，Ed.Press，Mit，Cambridge，Ma，USA，825-839。
[246] Santos Costa，V.、Warren，D.H.D.和Yang，R.1991c。安道尔I预处理器：支持基本安道尔模型上的完整Prolog。《逻辑编程国际会议论文集》，K.Furukawa，Ed.Press，Mit，Cambridge，Ma，USA，443-456。
[247] Schneidenbach，L.、Schnor，B.、Gebser，M.、Kaminski，R.、Kaufmann，B.和Schaub，T.2009。在蓝色基因上运行并行答案集求解器的经验。在第16届欧洲PVM/MPI用户小组会议上。施普林格·弗拉格，德国海德堡，64-72。
[248] Secci，S.和Spoto，F.2005。面向对象程序的对共享分析。第十二届国际静态分析研讨会（SAS’05）。计算机科学讲义，第3672卷。施普林格，海德堡，德国，320-335·兹比尔1141.68378
[249] Seo，J.、Park，J.，Shin，J.和Lam，M.S.，2013年。分布式SociaLite：用于大规模图形分析的基于数据日志的语言。VLDB捐赠会议记录61906-1917。
[250] Serrano，A.、Lopez-Garcia，P.和Hermenegildo，M.V.2014。通过使用大小类型的抽象解释对逻辑程序进行资源使用分析。逻辑程序设计理论与实践，ICLP’14特刊14，4-5，739-754·兹比尔1307.68022
[251] 夏皮罗，E.Y.1987。同期序言：论文集。麻省理工学院出版社，美国马萨诸塞州剑桥。
[252] 夏皮罗，E.Y.1989。并发逻辑编程语言家族。ACM Computing公司苏维21，3413-510。
[253] Shehab，E.、Algergawy，A.和Sarhan，A.M.，2017年。使用CPU和GPU联合处理器加速关系数据库操作。计算机与电气工程57、69-80。
[254] 沈，K.1996。DASWAM概述：利用依赖性和平行性。逻辑编程杂志29，1/3，245-293·Zbl 0877.68018号
[255] Shen，K.和Hermenegildo，M.V.1996。逻辑程序的非确定性并行执行的灵活调度。《96年欧洲标准汇编》。计算机科学讲义，第1124卷。德国海德堡施普林格-弗拉格，邮编：635-640。
[256] Shkapsky，A.2016年。高级分析的声明语言及其可扩展实现。美国加州大学洛杉矶分校博士论文。
[257] Shkapsky，A.、Yang，M.、Interlandi，M.，Chiu，H.、Condie，T.和Zaniolo，C.2016。利用Spark上的Datalog查询进行大数据分析。2016年6月26日至7月1日在美国加利福尼亚州旧金山举行的2016年国际数据管理大会会议记录，F.Özcan、G.Koutrika和S.Madden，编辑ACM，纽约，1135-1149。
[258] Simons，P.、Niemelä，I.和Soininen，T.2002。扩展和实现稳定的模型语义。人工智能138，1-2，181-234·Zbl 0995.68021号
[259] Singhal，A.和Patt，Y.N.1989年。统一并行：我们可以利用多少？《北美逻辑编程会议论文集》，E.Lusk和R.Overbeek主编，麻省理工学院出版社，马萨诸塞州剑桥，美国，1135-1147。
[260] Somogyi，Z.和Sagonas，K.2006。水银表：设计和实施。在声明语言实用方面国际研讨会上。计算机科学课堂讲稿，第3819卷。斯普林格，海德堡，德国，150-167。
[261] Son，T.C.和Pontelli，E.2007。生物化学路径规划：大型规划问题实例中答案集规划的案例研究。2007年5月14日，美国亚利桑那州坦佩市，第一届国际SEA'07研讨会论文集，M.D.Vos和T.Schaub编辑，CEUR研讨会论文集，第281卷。亚琛CEUR-WS.org。
[262] Söndergaard，H.1986年。逻辑程序抽象解释的一种应用：发生检查减少。在欧洲编程研讨会上。计算机科学讲义，第123卷。施普林格出版社，德国海德堡，327-338·Zbl 0605.68090号
[263] Stulova，N.2018。改进动态编程语言中的运行时检查。芬欧汇川大学（UPM）高等教育学院（Escuela Técnica Superior de Ingenieros Informáticos）博士论文。
[264] Stulova，N.、Morales，J.F.和Hermenegildo，M.V.，2015年。通过非侵入性属性缓存进行实际运行时检查。逻辑程序设计理论与实践，第31届国际。逻辑编程会议（ICLP’15）专刊15，04-05，726-741·Zbl 1379.68102号
[265] Stulova，N.、Morales，J.F.和Hermenegildo，M.V.2018。通过静态分析减少断言运行时检查开销的一些权衡。计算机程序设计科学155，3-26。
[266] Swift，T.和Warren，D.S.，2012年。XSB：用表逻辑编程扩展Prolog。逻辑程序设计理论与实践12，1&2，157-187·Zbl 1244.68021号
[267] Tachmazidis，I.和Antoniou，G.2013。通过大规模并行化计算大数据上逻辑程序的分层语义。《网络规则的理论、实践和应用——第七届国际研讨会》，《2013年规则》，L.Morgenstern、P.S.Stefaneas、F.Lévy、A.Z.Wyner和A.Paschke主编，《计算机科学讲义》，第8035卷。德国海德堡施普林格，188-202年。
[268] Tachmazidis，I.、Antoniou，G.和Faber，W.2014。在大数据上高效计算基础良好的语义。逻辑程序设计理论与实践14，4-5，445-459·Zbl 1307.68024号
[269] Tachmazidis，I.、Antoniou，G.、Flouris，G.、Kotoulas，S.和Mccluskey，L.2012。大规模并行分层不可行推理。在欧洲人工智能会议（ECAI）上。IOS出版社·Zbl 1327.68260号
[270] Tarzariol，A.2019年。求解策略的算法组合进化。《第34届意大利计算逻辑会议论文集》，意大利的里雅斯特，2019年6月19日至21日，A.Casagrande和E.G.Omodeo，编辑：CEUR研讨会论文集，第2396卷。CEUR-WS.org，亚琛，327-341。
[271] ter Horst，H.J.2005年。RDF模式包含的完整性、可判定性和复杂性以及涉及OWL词汇表的语义扩展。网络语义学杂志3，2-3，79-115。
[272] Tick，E.1995。并发逻辑编程语言的发展。《逻辑编程杂志》23，2，89-123·Zbl 0863.68035号
[273] Trias，E.、Navas，J.、Ackley，E.S.、Forrest，S.和Hermenegildo，M.V.2008。负三值集共享。在国际逻辑编程会议上，ICLP。计算机科学讲义，第5366卷。德国海德堡施普林格-弗拉格，301-316·Zbl 1185.68185号
[274] Trigo De La Vega，T.、Lopez-García，P.和Muñoz-Hernández，S.2010。并行/分布式计算中的模糊粒度控制。在国际模糊计算会议（ICFC 2010）上。科学技术出版社，43-55。
[275] Truszczynski，M.2018年。介绍逻辑程序稳定且基础良好的语义。《声明逻辑编程：理论、系统和应用》，M.Kifer和Y.A.Liu主编，ACM/Morgan&Claypool，美国，121-177。
[276] Tu，P.H.，Pontelli，E.，Son，T.C.和To，S.T.2009。并行处理技术在启发式搜索规划中的应用：方法和实验。并发与计算：实践与经验21,151928-1960。
[277] 上田，K.1986。保护喇叭条款。东京大学博士论文·Zbl 1497.68089号
[278] Ullman，J.D.2010年。集群计算和数据日志。在Datalog 2.0中：数据日志在学术界和工业界的复兴。网址：http://datalog20.org/。
[279] Urbani，J.，Kotoulas，S.，Maassen，J.、Van Harmelen，F.和Bal，H.2012。WebPIE：使用MapReduce的网络规模并行推理引擎。《网络语义杂志》10，59-75。
[280] Van Gelder，A.、Ross，K.A.和Schlipf，J.S.1991年。通用逻辑程序的基础良好的语义。美国医学会杂志38，3，620-650·Zbl 0799.68045号
[281] Van Roy，P.1994。1983-1993：序贯Prolog实现的奇迹年。《逻辑编程杂志》19/20，385-441·Zbl 0817.68054号
[282] 维达尔，G.2012。通过部分求值对独立和并行逻辑程序进行注释。逻辑编程的理论与实践12，4-5583-600·Zbl 1260.68068号
[283] Vieira，R.、Rocha，R.和Silva，F.M.A.2012。在多核上比较Or-parallel Prolog执行的可选拆分策略。在约束和逻辑编程系统实现座谈会上，71-85。
[284] Villaverde，K.和Pontelli，E.2004。分布式约束逻辑编程中调度问题的研究。ISCA第17届并行和分布式计算系统国际会议论文集。ISCA，98-103。
[285] Villaverde，K.、Pontelli，E.、Guo，H.-F.和Gupta，G.2001a。用于高效并行实现基于搜索的系统的增量堆栈拆分机制。在并行处理国际会议上。IEEE计算机学会，美国，287-294。
[286] Villaverde，K.、Pontelli，E.、Guo，H.-F.和Gupta，G.2001b。PALS：Bewolf架构上Prolog的Or-parallel实现。《逻辑程序设计国际会议论文集》。施普林格·弗拉格，德国海德堡，27-42·Zbl 1053.68545号
[287] Villaverde，K.、Pontelli，E.、Guo，H.-F.和Gupta，G.2003。Beowulf平台上非确定性语言的顺序敏感执行方法。在2003年的Euro-Par中。并行处理，第九届国际Euro-Par会议。施普林格-弗拉格，德国海德堡，694-703。
[288] Wang，H.，Xiong，F.，Li，J.，Shi，S.，Li.J.和Gao，H.2018。新处理器上的数据管理：一项调查。并行计算72，1-13。
[289] Wang，J.、Balazinska，M.和Halperin，D.2015。无共享引擎中的异步和容错递归数据日志评估。VLDB捐赠会议记录8，12，1542-1553。
[290] 沃伦，D.H.D.1990。具有隐式控制的扩展安道尔模型。在并行逻辑编程研讨会上，瑞典S-163 13 Spanga，Box 1263，Sverker Jansson，Ed.SICS。
[291] 沃伦，D.S.1984。高效的Prolog内存管理，实现灵活的控制策略。在逻辑程序设计国际研讨会上。IEEE计算机学会，美国，198-203年。
[292] Warren，R.、Hermenegildo，M.V.和Debray，S.K.1988。关于逻辑程序全局流分析的实用性。在第五届逻辑编程国际会议和研讨会上。麻省理工学院出版社，马萨诸塞州剑桥，美国，684-699。
[293] 怀特，T.2015。Hadoop-The Definitive Guide:Storage and Analysis at Internet Scale，第4版，修订和更新。美国O'Reilly。
[294] Wielemaker，J.、Schrijvers，T.、Triska，M.和Lager，T.2012。SWI-预测。逻辑程序设计的理论与实践12，1-2，67-96·Zbl 1244.68023号
[295] Wolfson，O.和Silberschatz，A.1988。逻辑程序的分布式处理。在SIGMOD国际数据管理会议记录中，H.Boral和P.Larson，编辑ACM出版社，纽约，329-336。
[296] Wu，H.、Diamos，G.F.、Sheard，T.、Aref，M.、Baxter，S.、Garland，M.和Yalamanchili，S.2014。Red Fox：GPU上关系查询处理的执行环境。在2014年2月15日至19日于美国佛罗里达州奥兰多市举行的第十二届IEEE/ACM国际代码生成和优化年会上，D.R.Kaeli和T.Moseley，Eds.ACM，纽约，44。
[297] Xu，L.，Hutter，F.，Hoos，H.H.和Leyton-Brown，K.2008。Satzilla:SAT基于投资组合的算法选择。人工智能研究杂志32，565-606·兹比尔1182.68272
[298] Yang，M.、Shkapsky，A.和Zaniolo，C.2015。逻辑程序的并行自底向上评估：共享内存多核机器上的DeALS。《2015年第31届国际逻辑程序设计会议（ICLP）技术交流会议记录》，爱尔兰科克，M.D.Vos，T.Eiter，Y.Lierler和F.Toni编辑，CEUR研讨会记录，第1433卷。亚琛CEUR-WS.org·Zbl 1407.68136号
[299] Zaffanella，E.，Bagnara，R.和Hill，P.M.1999。扩大共享。《声明性编程的原则与实践》，G.Nadathur，Ed。《计算机科学讲义》，第1702卷。德国海德堡施普林格-弗拉格，414-432·兹比尔0956.68023
[300] Zaniolo，C.、Yang，M.、Das，A.、Shkapsky，A.、Condie，T.和Interlandi，M.2017。具有聚合的递归数据日志程序的定点语义和优化。逻辑程序设计的理论与实践17，5-6，1048-1065·Zbl 1422.68162号
[301] Zeuch，S.2018年。现代CPU上的查询执行。博士论文，德国柏林洪堡大学。
[302] 张，K.1993。在逻辑程序中利用Or-parallelism：综述。未来一代计算系统9、3、259-280。
[303] Zhang，W.，Wang，K.和Chau，S.-C.1995。数据日志程序的数据分区和并行评估。IEEE知识与数据工程汇刊第7期，163-176页。
[304] Zhao，D.，Subotic，P.和Scholz，B.2020。调试大规模数据日志：一种可扩展的源评估策略。美国计算机学会程序设计语言与系统汇刊42，2，7:1-7:35。
[305] Zhou，N.、Sato，T.和Shen，Y.2008。线性列表策略和优化。逻辑程序设计理论与实践8，1，81-109·Zbl 1128.68018号
[306] 周，N.-F.2012。B-Prolog的语言特性和体系结构。逻辑程序设计理论与实践12，1&2189-218·Zbl 1244.68024号
[307] Zhou，N.-F.和Kjellerstrand，H.2016。Picat-SAT编译器。2016年1月18日至19日在美国佛罗里达州圣彼得堡举行的第18届国际声明性语言实践研讨会，PADL 2016。《程序集》，M.Gavanelli和J.H.Reppy，Eds.计算机科学讲稿，第9585卷。德国海德堡施普林格，48-62。
[308] Zhou，N.-F.，Kjellerstrand，H.和Fruhman，J.2015。使用Picat解决约束和规划。德国海德堡施普林格。
[309] Zinn，D.、Wu，H.、Wang，J.、Aref，M.和Yalamanchili，S.2016。异构系统上大型图三角形列表的通用连接算法。在第九届使用图形处理单元进行通用处理年度研讨会的会议记录中，GPGPU@PPoPP2016年，西班牙巴塞罗那，2016年3月12日至16日，D.R.Kaeli和J.Cavazos，ACM编辑，纽约，12-21。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。