×
菲利普·科纳;Michael Leuschel先生;乔昂·巴博萨;维托尔·桑托斯·科斯塔;维罗尼卡·达尔;曼努埃尔五世（Manuel V.Hermenegildo）。;何塞·莫拉莱斯（Jose F.Morales）。;Wielemaker，简;丹尼尔·迪亚兹;萨尔瓦多阿布雷乌;乔瓦尼·西亚托

五十年的序言及以后。 （英语） Zbl 07776350号

理论与实践。日志。程序。 22，第6号，776-858（2022）.
概述：逻辑编程和Prolog都有着悠久而迷人的历史，与它们继承或催化的许多学科交织在一起。在过去的50年里，在许多Prolog实现的支持下，已经收集了大量的研究。许多实现仍在积极开发中，而新的实现仍在不断出现。通常，不同系统添加的功能是由程序员和实现者的跨学科需求驱动的，生成的系统在共享“经典”核心语言的同时，特别是ISO-Prolog标准的主要方面，在其他方面也相互背离。这显然给代码的可移植性带来了挑战。该领域还激发了许多相关但又截然不同的语言，它们创建了自己的社区。本文旨在整合和应用Prolog进化过程中的主要经验教训。它分为三个主要部分。首先，考虑到主要的历史发展和几个Prolog实现背后的动机，以及受Prolog影响的其他逻辑编程语言，我们概述了Prolog系统和社区的演变，大致达到ISO标准。然后，我们讨论标准出现后最活跃的Prolog实现：它们的愿景、目标、共性和不兼容性。最后，我们进行了SWOT分析，以便更好地识别Prolog的潜力，并提出未来的发展方向，从而使Prolog可以继续添加有用的功能、接口、库和工具，同时提高实现之间的兼容性。

MSC公司：

68N17号 逻辑编程

关键词：

序言;逻辑程序设计系统;可移植性;理论基础;进化;视野

软件：

SWI序言;帕洛;GHC公司;github;序言;wamcc公司;VeriFly公司;迷你锌;克林戈;NQTHM公司;CiaoPP公司;OPTYap公司;Ciao公司;2百万吨;精益TAP;萨奇莫;XSB公司;扣环;BERT（误码率）;B-序言;SICStus公司;YAP Prolog公司;ProbLog（问题日志）;棱镜;炸薯条;ProB公司;tuProlog公司;斯莫德尔斯;格林戈;重新规范;HYPROLOG公司;中国科学院科学院;水银;咖喱;clpfd公司;SWISH数据实验室;WASP公司
PDF格式BibTeX公司 XML格式引用
\textit{P.Körner}等人，《理论与实践》。日志。程序。22，编号6，776--858（2022；Zbl 07776350）
全文： 内政部 arXiv公司
OA许可证

参考文献：

[1] Abramson，H.和Dahl，V.1989。逻辑语法。斯普林格·Zbl 0672.68032号
[2] Abreu，S.和Diaz，D.2003。目标：在最低限度的背景下。在ICLP论文集中，C.Palamidessi编辑，《计算机科学讲义》，第2916卷。施普林格，128-147。
[3] Abreu，S.和Nogueira，V.2005。使用具有持久性和上下文的逻辑编程语言。在Procedings INAP中，M.Umeda、A.Wolf、O.Bartenstein、U.Geske、D.Seipel和O.Takata，Eds.计算机科学讲义，第4369卷。施普林格，38-47岁。
[4] Adebara，I.和Dahl，V.2016。语法归纳作为语言约束求解模型之间的自动转换。《Proceedings KnowProS》，R.Bartak、T.L.McCluskey和E.Pontelli著，《CEUR研讨会论文集》第1648卷。中欧。
[5] Aít-Kaci，H.1991。沃伦的抽象机器：教程重建。麻省理工学院出版社。
[6] Aít-Kaci，H.1993。LIFE简介-逻辑、继承、函数和方程编程。《ILPS论文集》，D.Miller，麻省理工学院出版社，52-68。
[7] Aít-Kaci，H.、Dumant，B.、Meyer，R.、Podelski，A.和Roy，P.V.1994。野生生物手册。数字巴黎研究实验室。预发布版。
[8] Aít-Kaci，H.和Podelski，A.1991。走向生命的意义。《PLILP程序集》，J.Maluszyñski和M.Wirsing，LNCS编辑，第528卷。施普林格，255-274·Zbl 0801.68018号
[9] 阿克斯，S.B.1978。二进制决策图。IEEE计算机汇刊27，6，509-516·Zbl 0377.94038号
[10] Ali，K.A.和Karlsson，R.1990。缪斯（Muse）的OR-平行Prolog方法。国际并行程序设计杂志19，2，129-162。
[11] Alpunte，M.、Feliú，M.A.、Joubert，C.和Villanueva，A.2010。使用BES和RWL进行基于数据的程序分析。在Proceedings Datalog 2.0 Workshop中，O.de Moor、G.Gottlob、T.Furche和A.J.Sellers，Eds.计算机科学讲义，第6702卷。斯普林格，1-20。
[12] Alviano，M.、Dodaro，C.、Faber，W.、Leone，N.和Ricca，F.2013。WASP：基于约束学习的本地ASP解算器。《LPNMR论文集》，P.Cabalar和T.C.Son，Eds.计算机科学讲稿，第8148卷。施普林格，54岁至66岁。
[13] Angelopulos，N.、Costa，V.S.、Azevedo，J.、Wielemaker，J.，Camacho，R.和Wessels，L.F.A.2013年。逻辑编程中的集成函数统计。PADL，K.Sagonas，Ed.计算机科学讲义，第7752卷。斯普林格，190-205年。
[14] Angelopoulos，N.和Wielemaker，J.2019。大数据生物分析的进展。在ICLP（技术通信）会议记录中，B.Bogaerts、E.Erdem、P.Fodor、A.Formisano、G.Ianni、D.Inclezan、G.Vidal、A.Villanueva、M.D.Vos和F.Yang，EPTCS编辑，第306卷。CoRR，309-322·Zbl 07453126号
[15] Antoy，S.和Hanus，M.2010。功能逻辑编程。ACM通信53，4，74-85。
[16] Apt，K.和Wallace，M.2007。使用ECLiPSe的约束逻辑编程。剑桥大学出版社·Zbl 1119.68044号
[17] Apt，K.R.2001年。观点：还要进行一场革命：自由科学出版。ACM通讯44、5、25-28。
[18] Arias，J.和Carro，M.，2016年。描述和评估集成CLP和表格执行的通用设计。在PPDP程序中。ACM，10-23。
[19] Arias，J.、Carro，M.、Salazar，E.、Marple，K.和Gupta，G.2018。无接地约束应答集编程。逻辑程序设计的理论与实践18，3-4，337-354·Zbl 1451.68063号
[20] 阿姆斯特朗，J.2007。二郎的历史。在HOPL诉讼中。ACM，1-26。
[21] Prolog更新说明，B2021。网址：http://www.picat-lang.org/bprolog/updates.html。[于2022年3月11日访问]。
[22] 巴格纳拉，R.1999。ISO Prolog标准是否受到重视？逻辑编程协会新闻稿12，1，10-12。
[23] Bagnara，R.和Carro，M.2002。Prolog的外语界面：一个简短的调查。逻辑编程协会通讯15，2。
[24] Basilio，R.、Zaverucha，G.和Carneiro Barbosa，V.2001。用神经网络学习逻辑程序。在ILP会议录中，C.Rouveirol和M.Sebag，Eds.计算机科学讲稿，第2157卷。施普林格，15-26岁·Zbl 1006.68513号
[25] Baumeister，J.和Seipel，D.2010。具有规则的本体中的异常。网络语义杂志8，1，55-68。
[26] Bavarian，M.和Dahl，V.2006。基于约束的生物序列分析方法。《通用计算机科学杂志》12，1500-1520。
[27] Beckert，B.和Posegga，J.1995。leanTAP：基于精简表格的演绎。《自动推理杂志》15，3，339-358·Zbl 0838.68097号
[28] Becket，R.和Somogyi，Z.2008。DCGs+memoing=Packrat解析，但值得吗？《PADL会议录》，P.Hudak和D.S.Warren，Eds.计算机科学讲义，第4902卷。施普林格，182-196年。
[29] Beldiceanu，N.和Contejean，E.1994。在CHIP中引入全局约束。数学和计算机建模20，12，97-123·Zbl 0816.68048号
[30] Bender，E.M.和Koller，A.2020。走向NLU：关于数据时代的意义、形式和理解。在ACL程序中。计算语言学协会，5185-5198。
[31] Benichou，M.、Beringer，H.、Gauthier，J.-M.和Beierle，C.1992。IBM的序言：一种先进且不断发展的应用程序开发技术。《IBM系统杂志》31、4、755-773。
[32] 比哈内，A.2021。算法不公正：关系伦理方法。模式2、2、100205。
[33] Blackburn，P.、Bos，J.和Striegnitz，K.2006。立即学习Prolog！第7卷。伦敦大学出版社·兹比尔1192.68117
[34] Bogaard，T.、Wielemaker，J.、Hollink，L.和Van Ossenbruggen，J.，2016年。SWISH数据实验室：用于数据探索和分析的web界面。《BNAIC会议录》，T.Bosse和B.Bredeweg，Eds.Communications In Computer and Information Science，vol.765。施普林格，181-187。
[35] Boizumault，P.1986。实现DIF和FREEZE的通用模型。《ICLP会议录》，E.Shapiro，Ed.计算机科学讲稿，第225卷。施普林格，585-592。
[36] Bolz，C.F.、Cuni，A.、Fijalkowski，M.、Leuschel，M.，Pedroni，S.和Rigo，A.2011。通过跟踪JIT中的部分求值删除分配。在PEPM诉讼中。ACM，43-52。
[37] Bonatti，P.A.2001。怀疑稳定模型语义的解决方案。《自动推理杂志》27，4，391-421·Zbl 0991.03016号
[38] Bonatti，P.A.2010年。安全、隐私和信任的数据日志。在Proceedings Datalog 2.0 Workshop中，O.de Moor、G.Gottlob、T.Furche和A.J.Sellers，Eds.计算机科学讲义，第6702卷。施普林格，21-36。
[39] Bonatti，P.A.、Pontelli，E.和Son，T.C.2008。答案集编程的可信解决方案。《AAAI会议录》，D.Fox和C.P.Gomes，AAAI出版社编辑，418-423。
[40] Bone，P.、Somogyi，Z.和Schachte，P.2012。并行水银代码中的控制回路。在DAMP程序中。ACM，11-20。
[41] Börger，E.和Rosenzweig，D.1995。WAM-定义和编译器正确性。《逻辑程序设计：形式方法和实际应用》，C.Beierle和L.Plümer主编，《计算机科学和人工智能研究》，第11卷。爱思唯尔/北荷兰，20-90·Zbl 0832.68024号
[42] Bowen，D.、Byrd，L.和Clocksin，W.1983。便携式Prolog编译器。在Proceedings Logic Programming Workshop中，L.M.Pereira、A.Porto、L.Monteiro和M.Filgueiras，Eds.De Lisboa，Universidade Nova。Nücleo de Intelegáncia人造。，74-83.
[43] Boyer，R.和Moore，J.1972年。定理证明程序中的共享结构。机器智能7101-116·Zbl 0249.68032号
[44] BProlog主页2021。B-序言。网址：http://www.picat-lang.org/bprolog。[于2022年3月11日访问]。
[45] Bratko，I.2012年。人工智能Prolog编程，第四版，Addison-Wesley·Zbl 0599.68007号
[46] Brewka，G.、Eiter，T.和Truszczynski，M.2011。答案集编程一目了然。ACM通信54，12，92-103。
[47] Brewka，G.、Eiter，T.和Truszczynski，M.，2016年。答案集编程：专题介绍。AI杂志37，3，5-6。
[48] Bruynooghe，M.1976年。谓词逻辑程序的解释器。第一部分：基本原则。KU Leuven计算机科学系技术代表CW 10。网址：https://lirias.kuleuven.be/retrieve/522231。
[49] Bruynooghe，M.2021年。Prolog文档。网址：https://people.cs.kuleuven.be网站/莫里斯。Bruynooghe/Prolog/Prolog.html。[于2022年3月11日访问]。
[50] Bueno，F.、García De La Banda，M.和Hermenegildo，M.V.1999。自动并行化中抽象解释的有效性：逻辑编程中的一个案例研究。编程语言与系统学报21，2，189-238。
[51] Bugliesi，M.、Lamma，E.和Mello，P.1994。逻辑编程中的模块化。《逻辑编程杂志》19/20，443-502。
[52] 伯德，L.1980。了解Prolog程序的控制流。《程序逻辑编程研讨会》，S.Oke Tärnlund，Ed.，127-138。
[53] Cabeza，D.和Hermenegildo，M.V.1996。在CIAO系统中实现分布式并发约束执行。在程序APPIA-GULP-PRODE中，67-78。
[54] Cabeza，D.和Hermenegildo，M.V.2000。Prolog的新模块系统。在Proceedings CL、J.Lloyd、V.Dahl、U.Furbach、M.Kerber、K.-K.Lau、C.Palamidessi、L.M.Pereira、Y.Sagiv和P.J.Stuckey编辑的《计算机科学讲义》，第1861卷。施普林格，131-148·兹伯利0983.68598
[55] Calegari，R.、Ciatto，G.、Dellaluce，J.和Omicini，A.2019。用LP解释ML预测因子的叙事解释：XAI的案例研究。《2019年WOA会议记录》，F.Bergenti和S.Monica，《CEUR研讨会记录》第2404卷。CEUR，105-112。
[56] Calegari，R.、Ciatto，G.、Denti，E.和Omicini，A.2020。智能系统的基于逻辑的技术：现状和展望。信息11，3，1-29。
[57] Calegari，R.、Ciatto，G.、Mariani，S.、Denti，E.和Omicini，A.2018。LPaaS作为微智能：通过符号推理增强物联网。大数据与认知计算2、3。
[58] Calegari，R.、Ciatto，G.、Mascardi，V.和Omicini，A.2021。多智能体系统的基于逻辑的技术：系统文献综述。自治代理和多代理系统35，1，1:1-1:67。
[59] Calegari，R.、Ciatto，G.和Omicini，A.2020。关于XAI的符号和子符号技术的集成：综述。人工智能14，1，7-32。
[60] Carlson，B.、Carlsson，M.和Diaz，D.1994。包含有限域约束。《ICLP会议录》，P.V.Hentenryck主编，麻省理工学院出版社，339-353。
[61] Carlsson，M.1984年。函数编程中Prolog的实现。新一代计算2，4，347-359。
[62] Carlsson，M.1986年。SICStus：初步规范。草案。
[63] Carlsson，M.和Mildner，P.2012。SICStus Prolog–前25年。逻辑程序设计的理论与实践12，1-2，35-66·Zbl 1244.68016号
[64] Carro，M.和Hermenegildo，M.1999。Prolog中使用线程和共享数据库的并发性。《ICLP会议录》，D.D.Schreye，麻省理工学院出版社编辑，320-334。
[65] Carro，M.、Morales，J.、Muller，H.、Puebla，G.和Hermenegildo，M.V.2006。小型设备的高级语言：案例研究。《诉讼案例》，K.Flautner和T.Kim，编辑ACM Press/Sheridan，271-281。
[66] Chen，W.和Warren，D.S.，1996年。稳定模型的计算及其与逻辑查询处理的集成。《IEEE知识与数据工程汇刊》第8、5、742-757页。
[67] Chirico，U.2021年。JIProlog-java互联网Prolog。网址：http://www.jiprolog.com/。[于2022年3月11日访问]。
[68] Christiansen，H.2002。基于约束处理规则的逻辑语法。在ICLP论文集，P.J.Stuckey，编辑，《计算机科学讲义》，第2401卷。施普林格，481·Zbl 1045.68612号
[69] Christiansen，H.和Dahl，V.2005。HYPROLOG：一种带有假设和推理的新逻辑编程语言。在ICLP会议录中，M.Gabbrielli和G.Gupta，Eds.计算机科学讲义，第3668卷。斯普林格，159-173·Zbl 1165.68327号
[70] Christiansen，H.和Dahl，V.2018。使用（表格化和约束）逻辑编程的自然语言处理。《声明逻辑程序设计：理论、系统和应用》，M.Kifer和Y.A.Liu主编，ACM，477-511。
[71] Ciao Prolog主页2021。Ciao编程语言。网址：https://ciao-lang.org。[于2022年3月11日访问]。
[72] Ciatto，G.、Calegari，R.、Mariani，S.、Denti，E.和Omicini，A.2018。从区块链到逻辑编程再到逻辑编程：研究视角。在2018年WOA会议记录中，M.Cossentino、L.Sabatucci和V.Seidita，《CEUR研讨会记录》第2215卷。CEUR，第69-74页。
[73] Ciatto，G.、Calegari，R.和Omicini，A.2021a。2P-Kt：符号人工智能的基于逻辑的生态系统。SoftwareX 16，100817，1-7。
[74] Ciatto，G.、Calegari，R.和Omicini，A.2021b。Prolog中通过回溯实现的懒惰流操作：2P-Kt案例。《JELIA 2021会议录》，W.Faber、G.Friedrich、M.Gebser和M.Morak，编辑笔记，计算机科学讲座，第12678卷。施普林格，407-420·Zbl 07437055号
[75] Ciatto，G.、Calegari，R.、Siboni，E.、Denti，E.和Omicini，A.2020。2P Kt：在Kotlin中使用对象和函数进行逻辑编程。《WOA 2020会议记录》，R.Calegari、G.Ciatto、E.Denti、A.Omicini和G.Sartor编辑，《CEUR研讨会记录》，第2706卷。CEUR，219-236年。
[76] Ciatto，G.、Maffi，A.、Mariani，S.和Omicini，A.2019。面向代理的区块链：自主智能合约。在PAAMS会议记录中，Y.Demazeau、E.Matson、J.M.Corchado和F.De la Prieta，编辑笔记，计算机科学讲座，第11523卷。施普林格，29-41。
[77] Ciatto，G.、Mariani，S.、Omicini，A.和Zambonelli，F.2020。从代理到区块链：整合的阶梯。应用科学10，21，7460:1-7460:22。
[78] Ciatto，G.、Schumacher，M.I.、Omicini，A.和Calvaresi，D.2020。人工智能中基于代理的解释：走向抽象框架。摘自《EXTRAAMAS会议录》，D.Calvaresi，A.Najjar，M.Winikoff和K.Främling，编辑笔记，计算机科学讲座，第12175卷。施普林格，3-20。
[79] Clark，K.和Gregory，S.1986年。PARLOG：逻辑并行编程。编程语言与系统学报8，1，1-49·Zbl 0592.68016号
[80] 克拉克，K.L.1978。否定为失败。《逻辑和数据库》，H.Gallaire和J.Minker，Springer编辑，293-322。
[81] Clocksin，W.1997年。条款和效力。斯普林格·Zbl 0887.68011号
[82] Clocksin，W.F.和Mellish，C.1981。Prolog中的编程。斯普林格·Zbl 0466.68009号
[83] 主页，Clojure2021。克洛朱尔。网址：https://clojure.org/。[于2022年3月11日访问]。
[84] CMU人工智能库。1995年SB-Prolog:Stony Brook Prolog v.3.1.01。网址：https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/impl/prolog/sbprolog/0.html。[于2022年3月11日访问]。
[85] Codognet，P.和Diaz，D.1995。wamcc：《将序言编译成C.在ICLP会议录中》，L.Sterling，Ed.Press，Mit，317-331。
[86] Codognet，P.和Diaz，1996年版。在clp（FD）中编译约束。《逻辑编程杂志》27，3，185-226·Zbl 0874.68054号
[87] 科恩，J.1979。非确定性算法。计算调查11、2、79-94·Zbl 0414.68011号
[88] 科恩，J.1988。Prolog的起源和发展。ACM通信31、1、26-36。
[89] 科尔梅劳尔，A.1970a。这是一个正式的系统，用于分析和合成普通短语。技术代表内部出版物43，信息部门，蒙特利尔大学。
[90] 科尔梅劳尔，A.1970b。总优先关系。美国医学会杂志17，1，14-30·Zbl 0302.68020号
[91] 科尔梅劳尔，A.1975。《美他莫尔糖GIA语法》（Les grammaires de métamorphose GIA）。内部出版物，《Groupe Intelligence artificielle》，Luminy科学学院，Aix-Marseille II大学，法国，1975年11月。英语版本，变形语法。《与计算机的自然语言交流》，L.Bolc主编，《计算机科学讲义》，第63卷。施普林格，1978年，133-189。
[92] 科尔梅劳尔，A.1979。法国巴黎联合艺术团。RAIRO公司。Informatique theorique et Applications信息技术与应用13、4、309-336·Zbl 0423.68044号
[93] 科尔梅劳尔，A.1982a。Prolog和无限树。《1980年逻辑编程会议录》，K.L.Clark和S.Oke Tärnlund，Eds.学术出版社，231-251。
[94] 科尔梅劳尔，A.1982b。序言二：曼努埃尔·德雷福雷伦斯与现代风格。马赛Aix-Marseille G.I.A.大学。
[95] 科尔梅劳尔，A.1984。有限树和无限树上的方程和不等式。在FGCS会议记录中。霍兰德北部，85-99。
[96] Colmerauer，A.1990。Prolog III.In Proceedings Computational Logic简介，J.W.Lloyd，Ed.Springer，37-79。
[97] 科尔梅劳尔，A.1996。马赛信息实验室Prolog IV技术代表。
[98] Colmerauer，A.、Kanoui，H.、Pasero，R.和Roussel，P.1973。法国的人机通信系统。IRIA技术代表，Aix-Marseille II大学Luminy科学学院。
[99] Colmerauer，A.和Roussel，P.1996。Prolog的诞生。《HOPL程序集》，T.J.Bergin和R.G.Gibson，ACM编辑，331-367。
[100] 科斯塔，V.S.1999。优化Prolog的字节码仿真。在《PPDP论文集》中，G.Naathur，编辑，《计算机科学讲义》，第1702卷。施普林格，261-277。
[101] Costa，V.S.2007年。较大数据集上的Prolog性能。《PADL会议录》，M.Hanus，Ed.计算机科学讲稿，第4354卷。施普林格，185-199年。
[102] Costa，V.S.，Rocha，R.和Damas，2012年2月。YAP Prolog系统。逻辑程序设计理论与实践12，1-2，5-34·Zbl 1244.68017号
[103] Costa，V.S.，Sagonas，K.和Lopes，R.2007。Prolog子句的需求驱动索引。在逻辑程序设计国际会议上，V.Dahl和I.Niemelä，编辑笔记，计算机科学讲座，第4670卷。施普林格，395-409。
[104] Costa，V.S.和Vaz，D.2013。BigYAP：外编译符合UDI。逻辑程序设计的理论与实践13，4-5，799-813。
[105] Costa，V.S.、Warren，D.H.和Yang，R.1991。安道尔一号：一个并行Prolog系统，透明地利用了与或并行。《PPOPP程序集》，R.L.Wexelblat，编辑：ACM，83-93。
[106] 库索特P.和库索特R.1977。抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型。在POPL会议记录中。美国医学会，238-252。
[107] Covington，M.A.、Bagnara，R.、O'Keefe，R.A.、Wielemaker，J.和Price，S.2012。Prolog的编码指南。逻辑编程的理论与实践12889-927·Zbl 1255.68049号
[108] Cropper，A.、Dumanć，S.和Muggleton，S.H.2020。30岁：归纳逻辑编程的新思路。《人工智能组织国际联合会议论文集》（Proceedings IJCAI，C.Bessiere，Ed.International Joint Conferences on Artificial Intelligence Organization），4833-4839。
[109] Cyras，K.、Rago，A.、Albini，E.、Baroni，P.和Toni，F.2021。有争议的XAI：一项调查。在IJCAI，Z.-H.Zhou编辑的《人工智能组织国际联合会议论文集》，4392-4399。
[110] Dahl，V.1977年。意大利面银行询问系统。爱克斯马赛第二大学博士论文。
[111] Dahl，V.1979。自然语言问答系统的三值逻辑中的量化。在IJCAI会议记录中。威廉·考夫曼（William Kaufmann），182-187年。
[112] 达尔，V.1982。通过逻辑开发数据库系统。数据库系统事务7，1，102-123。
[113] Dahl，V.1986年。间断Gramaticas：una herramienta computacial conaplicaciones en la teoria de Reccion y Ligamiento。Revista Argentina de Lingüística阿根廷灵圭斯蒂卡2、2、375-392。
[114] Dahl，V.1990年。以用户友好的方式描述有关约束的语言知识。国际专家系统杂志：研究与应用3，2，131-146。
[115] Dahl，V.1992。评论政府约束理论的实施。《形式语言学：理论与实践》，R.Levine主编，牛津大学出版社，276-289。
[116] Dahl，V.、Bel-Enguix，G.、Miralles，E.和Tirado，V..将出席。源代码不足语言的语法归纳：Ch'ol的例子。在2019年AVERTIS会议记录中。《在曼努埃尔·赫尔梅内吉尔多60岁生日之际献给他的论文》，J.加拉赫、R.贾科巴齐和P.洛佩兹·加西亚编辑，计算机科学讲稿。斯普林格。
[117] Dahl，V.和Mccord，M.1983。处理逻辑语法中的协调。计算语言学9，69-91。
[118] Dahl，V.和Miralles，J.E.2012。Womb语法：语法归纳的约束求解。在CHR、J.Sneyers和T.Frühwirth的Proceedings中，《CW报告》第624卷。库·鲁汶（KU Leuven），32-40岁。
[119] Dahl，V.、Popowich，F.和Rochmont，M.1993。错位短语的原则性表征：用静态不连续语法捕捉障碍。语言学与哲学16，331-352。
[120] Dahl，V.和Sambuc，R.1976年。联合国总理办公厅系统，自然语言咨询。技术代表，D.E.A.报告，马赛第二大学。
[121] Dahl，V.和Tarau，P.1998。从假设到意义。加拿大人工智能42，26-29。
[122] Dahl，V.和Tarau，P.2004。假设逻辑编程。在ASAI诉讼中。
[123] Dahl，V.、Tarau，P.和Li，R.1997。处理自然语言的假设语法。《ICLP会议录》，L.Naish，编辑，麻省理工学院出版社，256-270。
[124] Dahl，V.、Tarau，P.、Moreno，L.和Palomar，M.1995。使用数据日志语法处理协调。CoRR cmp-lg/9505006，1-17。
[125] Da Silva，A.F.和Santos Costa，V.2007。设计、实现和评估YAP系统的动态编译框架。在ICLP会议记录中，V.Dahl和I.Niemelä，LNCS编辑，第4670卷。施普林格，410-424。
[126] D'Avila Garcez，A.S.和Zaverucha，G.1999。连接归纳学习和逻辑编程系统。应用情报11，1，59-77。
[127] De Angelis，E.、Fioravanti，F.、Gallagher，J.P.、Hermenegildo，M.V.、Pettorossi，A.和Proietti，M.2021。用于程序验证的约束horn子句的分析和转换。逻辑程序设计理论与实践，20周年特刊。
[128] De Kergommeaux，J.C.和Codognet，P.1994。并行逻辑编程系统。计算调查26、3、295-336。
[129] De Raedt，L.、Dumancic，S.、Manhaeve，R.和Marra，G.2020。从统计关系到神经符号人工智能。《人工智能组织国际联合会议论文集》（Proceedings IJCAI），C.Bessiere，Ed.International Joint Conferences on Artificial Intelligence Organization，4943-4950。
[130] De Raedt，L.、Kersting，K.、Natarajan，S.和Poole，D.2016。统计关系人工智能：逻辑、概率和计算。人工智能和机器学习综合讲座。Morgan&Claypool出版社·兹比尔1352.68005
[131] De Raedt，L.、Kimmig，A.和Toivonen，H.2007。ProbLog：一种概率Prolog及其在链路发现中的应用。在IJCAI会议记录中，M.M.Veloso，Ed.国际人工智能组织联合会议，2462-2467。
[132] Denti，E.、Omicini，A.和Calegari，R.2013。tuProlog：让Prolog无处不在。逻辑编程协会通讯。
[133] Denti，E.、Omicini，A.和Ricci，A.2001。tuProlog：用于Internet应用程序和基础设施的轻量级Prolog。《PADL会议录》，I.Ramakrishnan，Ed.《计算机科学讲义》，第1990卷。施普林格，184-198年。
[134] Deransart，P.、Ed-Dbali，A.和Cervoni，L.1996。Prolog：标准。斯普林格·Zbl 0844.68017号
[135] Devlin，J.、Chang，M.-W.、Lee，K.和Toutanova，K.2019。BERT：用于语言理解的深度双向转换器的预训练。在NAACL诉讼中。计算语言学协会，4171-4186。
[136] Diaz，D.、Abreu，S.和Codognet，P.2012。关于GNU Prolog的实现。逻辑程序设计的理论与实践12，1-2，253-282·Zbl 1244.68018号
[137] Diaz，D.和Codognet，P.1993。clp（FD）WAM的最小扩展。《ICLP会议记录》，D.S.Warren，麻省理工学院出版社，774-790。
[138] Diaz，D.和Codognet，P.2000。GNU Prolog:Beyond composing Prolog to C.In Proceedings PADL，E.Pontelli and V.S.Costa，Eds.《计算机科学讲义》，第1753卷。施普林格，81-92。
[139] Dietrich，R.和Hagl，F.1988。具有Prolog子类型的多态类型系统。《ESOP会议录》，H.Ganzinger，Ed.《计算机科学讲义》，第300卷。施普林格，79-93。
[140] Dincbas，M.、Hentenryck，P.V.、Simonis，H.和Aggoun，A.1988。约束逻辑编程语言CHIP。在FGCS会议记录中。IOS出版社，249-264。
[141] Dovier，A.、Formisano，A.、Gupta，G.、Hermenegildo，M.V.、Pontelli，E.和Rocha，R.2022。并行逻辑编程：续集。逻辑程序设计理论与实践，20周年特刊。
[142] Earley，J.1970年。一种高效的无上下文解析算法。ACM通信13、2、94-102·Zbl 0185.43401号
[143] ECLiPSe Prolog主页2021。ECLiPSe约束编程系统。网址：https://eclipseclipp.org。[于2022年3月11日访问]。
[144] Elcock，E.1990年。Absys：第一种逻辑编程语言。逻辑编程杂志9，1，1-17·Zbl 0711.68025号
[145] 民族学2021。民族学：世界语言。网址：https://www.ethnologue.com/。[于2022年3月11日访问]。
[146] Felleisen，M.1985年。将序言翻译成Scheme。印第安纳大学技术代表182。计算机科学系。
[147] 弗拉纳根，C.2006。混合型检查。在POPL会议记录中。美国医学会，245-256·Zbl 1370.68202号
[148] Floridi，L.和Chiriatti，M.2020。GPT-3：其性质、范围、限制和后果。思维与机器30，4，681-694。
[149] 弗洛伊德，R.W.1967。非确定性算法。美国医学会杂志14，4，636-644·Zbl 0153.47006号
[150] 福吉，C.L.1989。Rete：多模式/多对象模式匹配问题的快速算法。人工智能和数据库阅读。爱思唯尔，547-559。
[151] França，M.V.M.，Zaverucha，G.和D’Avila Garcez，a.S.2014。基于人工神经网络的底层子句命题化快速关系学习。机器学习94，1，81-104。
[152] Frühwirth，T.1992年。约束简化规则。JICSLP约束逻辑编程研讨会论文集。（另见技术报告ECRC-92-18，ECRC慕尼黑，德国，1992年7月）。
[153] Frühwirth，T.2009年。约束处理规则。剑桥大学出版社·Zbl 1182.68039号
[154] Gackenheimer，C.和Paul，A.2015。《反应导论》，第52卷。斯普林格。
[155] Gallagher，J.P.和Henriksen，K.S.，2004年。基于正则类型的抽象域。在国际逻辑编程会议上。施普林格，27-42·Zbl 1104.68377号
[156] Gallaire，H.、Minker，J.和Nicolas，J.1984。逻辑和数据库：演绎方法。ACM计算调查16，153-185·Zbl 0548.68098号
[157] Garcia-Contreras，I.、Morales，J.F.和Hermenegildo，M.V.，2016年。语义代码浏览。逻辑程序设计的理论与实践，ICLP 2016年特刊16，5-6，721-737·Zbl 1379.68030号
[158] García De La Banda，M.、Bueno，F.和Hermenegildo，M.1996。在CLP中走向独立和平等。在PLILP会议录中，H.Kuchen和S.D.Swierstra，Eds.计算机科学讲稿，第1140卷。施普林格，77-91。
[159] García De La Banda，M.、Hermenegildo，M.V.和Marriott，K.2000。CLP语言的独立性。美国计算机学会程序设计语言与系统汇刊22，2，269-339。
[160] Gebser，M.、Kaminski，R.、Kaufmann，B.、Ostrowski，M.，Schaub，T.和Thiele，S.2008。gringo、crip、clipeo和iclingo用户指南。网址：https://potassco.org/。[于2022年3月11日访问]。
[161] Gebser，M.、Kaminski，R.、Kaufmann，B.和Schaub，T.2014。Clingo=ASP+对照：初步报告。arXiv 1405.3694号。
[162] Prolog，Gnu2021年。GNU Prolog网站。网址：http://gprolog.org。[于2022年3月11日访问]。
[163] 格林，C.C.1969a。定理证明在问题解决中的应用。在IJCAI会议记录中，D.E.Walker和L.M.Norton，编辑William Kaufmann，219-240。
[164] 格林，C.C.1969b。定理证明在问答系统中的应用。计算机科学杰出论文。加兰出版社，纽约。
[165] Guidotti，R.、Monreale，A.、Turini，F.、Pedreschi，D.和Giannotti，F.2019。黑箱模型解释方法综述。计算调查51、5、1-42。
[166] Gunning，D.2016年。可解释人工智能（XAI）。资助项目DARPA-BAA-16-53，国防高级研究计划局（DARPA）。
[167] Gupta，G.、Bansal，A.、Min，R.、Simon，L.和Mallya，A.2007。共导逻辑编程及其应用。在ICLP会议录中，V.Dahl和I.Niemelä，Eds.计算机科学讲义，第4670卷。施普林格，27-44·Zbl 1213.68177号
[168] Gupta，G.和Pontelli，E.1999。ACE中的扩展动态相关性和平行性。功能与逻辑编程杂志99，特刊1·Zbl 0923.68055号
[169] Gupta，G.、Pontelli，E.、Ali，K.、Carlsson，M.和Hermenegildo，M.V.2001。Prolog程序的并行执行：一项调查。编程语言与系统学报23，4，472-602。
[170] Gupta，G.、Saeedloei，N.、Devries，B.W.、Min，R.、Marple，K.和Kluzniak，F.2011。无限计算、共归纳和计算逻辑。《计算机科学学报》，A.Corradini、B.Klin和C.C嵷rstea，编辑注释，计算机科学讲座，第6859卷。施普林格，40-54岁·Zbl 1344.68053号
[171] 古尔，C.A.1994。专门使用逻辑编程语言哥德尔进行地面表示。在1993年LOPSTR会议记录中，Y.Deville，Ed.计算研讨会。施普林格，124-140。
[172] Haemmerlé，R.和Fages，F.2006。重新访问Prolog模块。在ICLP会议录中，S.Etalle和M.Truszczynski，编辑笔记，计算机科学讲座，第4079卷。施普林格，41-55岁·Zbl 1131.68378号
[173] 汉克利，W.1987。Turbo Prolog的特性分析。ACM SIGPLAN通知22、3、111-118。
[174] 哈努斯，M.1997。用单一计算模型教授函数和逻辑编程。在PLILP论文集中，H.Glaser、P.Hartel和H.Kuchen，编辑笔记，计算机科学讲座，第1292卷。施普林格，335-350。
[175] Hanus，M.和Krone，J.2017年。SQL与curry的典型集成。在《WLP 2015/2016和WFLP 2016会议录》中，Schwarz，S.和Voigtländer，J.，Eds.EPTCS，第234卷。CoRR，104-119。
[176] Hanus，M.、Kuchen，H.和Moreno-Navarro，J.1995。Curry：一种真正的函数逻辑语言。《逻辑编程未来展望研讨会论文集》，95-107。
[177] Haynes，C.T.1986年。逻辑延续。《ICLP会议录》，E.Shapiro，Ed.Notes，《计算机科学讲座》，第225卷。施普林格，671-685·Zbl 0602.68011号
[178] Hentenryck，P.V.、Saraswat，V.A.和Deville，Y.1994年。约束语言cc（FD）的设计、实现和评估。《TCS学校学报》，A.Podelski，编辑笔记，《计算机科学讲座》，第910卷。施普林格，293-316·Zbl 0920.68026号
[179] Henz，M.、Smolka，G.和Würtz，J.1993。Oz-一种用于多智能体系统的编程语言。《国际JCAI会议记录》，R.Bajcsy，Ed.Kaufmann，Morgan，404-409。
[180] Hermenegildo，M.1986年。逻辑程序的有限与并行执行的一种抽象机器。在ICLP诉讼程序中。计算机科学讲义，第225卷。施普林格，25-40岁·Zbl 0598.68021号
[181] Hermenegildo，M.2000年。自动并行化不规则和基于指针的计算：来自逻辑和约束编程的观点。并行计算26，13-14，1685-1708·Zbl 0948.68024号
[182] Hermenegildo，M.和Group，Clip，T.1993年。面向CIAO-Prolog——一个并行并发约束系统。在并行性和实现技术计算机网络区域研讨会的会议记录中。职能指令手册/UPM。
[183] Hermenegildo，M.、Puebla，G.、Bueno，F.和Garcia，P.L.2005。使用抽象解释（和Ciao系统预处理器）集成程序调试、验证和优化。计算机编程科学58，1-2，115-140·Zbl 1076.68540号
[184] Hermenegildo，M.V.1989年。高性能Prolog实现：WAM及其以外（教程）。ICLP技术代表。
[185] Hermenegildo，M.V.2012年。CS中的会议与期刊，该怎么办？演进方式和ICLP/TPLP模型。《计算机研究中的出版文化——立场论文》，K.Mehlhorn、M.Y.Vardi和M.Herbstritt，Eds.Dagstuhl Reports，第12452卷。达格斯图尔出版社，29-30。网址：http://cliplab.org/papers/dagstuhl-tplpmove.pdf。
[186] Hermenegildo，M.V.、Bueno，F.、Cabeza，D.、Carro，M.、Garcia De La Banda，M.，Lápez-García，P.和Puebla，G.1996。CIAO多方面编译器和系统：未来（C）LP系统的实验工作台（扩展抽象）。在AGP会议记录中，P.Lucio、M.Martelli和M.Navarro，编辑，105-110。
[187] Hermenegildo，M.V.、Bueno，F.、Carro，M.、López-Garca，P.、Mera，E.、Morales，J.F.和Puebla，G.2012。Ciao及其设计理念概述。逻辑程序设计的理论与实践12，1-2，219-252·Zbl 1244.68019号
[188] Hermenegildo，M.V.，Puebla，G.和Bueno，F.1999。使用全局分析、部分规范和可扩展断言语言进行程序验证和调试。《逻辑程序设计范式：25年展望》，K.R.Apt、V.W.Marek、M.Truszczynski和D.S.Warren，Eds.Springer著，161-192年·Zbl 0979.68554号
[189] Hermenegildo，M.1994年。CIAO设计中的一些方法论问题——一个通用的、并行的、并发的约束系统。《PPCP论文集》，A.Borning，Ed.计算机科学讲稿，第874卷。施普林格，123-133。
[190] 休伊特，C.1969。PLANNER：机器人定理证明语言。《国际JCAI会议录》，D.E.Walker和L.M.Norton，编辑William Kaufmann，295-302。
[191] Hill，P.和Lloyd，J.W.1994。哥德尔编程语言。麻省理工学院出版社·Zbl 0850.68138号
[192] Hoarau，S.和Mesnard，F.1998。推理和编译约束逻辑程序的终止。《LOPSTR会议录》，P.Flener，Ed.计算机科学讲稿，第1559卷。施普林格，240-254·Zbl 0908.68026号
[193] Holzbaur，C.1992年。可扩展统一上下文中的元结构与属性化变量。在PLILP论文集中，M.Bruynooghe和M.Wirsing，Eds.计算机科学讲稿，第631卷。施普林格，260-268。
[194] Holzbaur，C.1995年。OFAI CLP（Q，R）手册，第1.3.3版。技术代表TR-95-09，奥地利人工智能研究所，维也纳。
[195] Huang，S.S.、Green，T.J.和Loo，B.T.2011。数据日志和新兴应用程序：交互式教程。MOD诉讼中。美国医学会，1213-1216年。
[196] Ireson-Paine，J.2010年。公共域Prolog库。网址：http://www.j-paine.org/prolog/library.html。[于2022年3月11日访问]。
[197] ISO/IEC 13211-1。1995.信息技术.程序设计语言.Prolog.第1部分：通用核心。ISO标准，国际标准化组织。
[198] ISO/IEC 13211-2。2000.信息技术.编程语言.Prolog.第2部分：模块。ISO标准，国际标准化组织。
[199] ISO/IEC 14882。2020年。编程语言-C++。ISO标准，国际标准化组织。
[200] Jaffar，J.和Lassez，J.1987。约束逻辑编程。在POPL会议记录中。美国医学会，111-119。
[201] Jaffar，J.和Maher，M.1994年。约束逻辑编程：一项调查。《逻辑编程杂志》19/20503-581。
[202] Jaffar，J.、Michaylov，S.、Stuckey，P.J.和Yap，R.H.C.1992。CLP语言和系统。编程语言与系统学报14，3，339-395。
[203] Janson，S.和Haridi，S.1991年。安道尔内核语言编程范例。技术代表R-91/8-SE，SICS。
[204] 詹森，G.1984。WIC-沃伦改进代码。BIM技术代表。内部报告IR1，URL:https://people.cs.kuleven.be网站/莫里斯。Bruynooghe/Prolog/IR01.pdf。
[205] Johnson，K.、Pasquale，F.和Chapman，J.2019。人工智能、机器学习和金融偏见：走向负责任的创新。《福特汉姆法律评论》88，2，499-529。
[206] Johnson，K.和Rae，R.1983年。爱丁堡Prolog Tools。爱丁堡大学人工智能应用研究所编程系统组技术代表注释103。
[207] Jordan，H.、Scholz，B.和Subotic，P.2016。Souffleé：关于程序分析器的综合。《计算机科学学报》，第二部分，S.Chaudhuri和A.Farzan，Eds.计算机科学讲稿，第9780卷。施普林格，422-430。
[208] 主页，Julia2021。朱莉娅。网址：https://julialang.org/。[于2022年3月11日访问]。
[209] Kacsuk，P.和Wise，M.1992。分布式Prolog的实现。John Wiley&Sons公司。
[210] Kaufmann，M.和Boyer，R.S.1995。Boyer-Moore定理证明器及其交互增强。计算机与数学应用29，2，27-62。
[211] Kay，M.1967年。使用强大的解析器进行实验。《COLING学报》，第1卷，第1-20页。
[212] Kowalski，R.1979年。算法=逻辑+控制。ACM通信22、7、424-436·Zbl 0404.68010号
[213] Kowalski，R.2013年。20世纪70年代的逻辑编程。《LPNMR论文集》，P.Cabalar和T.C.Son，Eds.计算机科学讲稿，第8148卷。施普林格，11-22·Zbl 1405.68049号
[214] 科瓦尔斯基，R.2020。逻辑英语。《LPOP程序集》，D.Warren、P.V.Roy和Y.A.Liu，第33-37版。
[215] Kowalski，R.和Kuehner，D.1971年。具有选择功能的线性分辨率。人工智能2，3，227-260·Zbl 0234.68037号
[216] Kowalski，R.和Sadri，F.2015。反应计算作为模型生成。新一代计算33，1，33-67·Zbl 1333.68108号
[217] 科瓦尔斯基，R.A.1974。谓词逻辑作为编程语言。在IFIP会议记录中，J.L.Rosenfeld，Ed.North-Holland，569-574·Zbl 0297.68006号
[218] 科瓦尔斯基，R.A.1988。逻辑编程的早期。ACM通信31、1、38-43。
[219] Lally，A.、Prager，J.M.、Mccord，M.C.、Boguraev，B.、Patwardhan，S.、Fan，J.、Fodor，P.和Chu-Carroll，J.2012。问题分析：沃森如何阅读线索。《研究与发展杂志》56，3.4，2:1-2:14。
[220] Lamb，L.C.、D’Avila Garcez，A.S.、Gori，M.、Prates，M.O.R.、Avelar，P.H.C.和Vardi，M.Y.2020。图形神经网络与神经符号计算：综述与展望。《人工智能组织国际联合会议论文集》（Proceedings IJCAI），C.Bessiere，Ed.International Joint Conferences on Artificial Intelligence Organization，4877-4884。
[221] \（\lambda\）Prolog主页2021。网址：网址：http://www.lix.polytechnique.fr/Labo/Dale.Miller/lProlog/。[于2022年3月11日访问]。
[222] Leone，N.、Pfeifer，G.、Faber，W.、Eiter，T.、Gottlob，G.，Perri，S.和Scarcello，F.2006。用于知识表示和推理的DLV系统。ACM计算逻辑学报7，3，499-562·Zbl 1367.68308号
[223] Leuschel，M.2008年。用于验证的声明性编程：经验教训和展望。在诉讼程序PPDP中。ACM出版社，1-7。
[224] Leuschel，M.2020。快速有效的精细度检查。《IFM会议录》，B.Dongol和E.Troubitsyna，Eds.计算机科学讲稿，第12546卷。施普林格，63-81。
[225] Leuschel，M.和Bruynooghe，M.2002。通过部分演绎实现逻辑程序专业化：控制问题。逻辑程序设计理论与实践2，4&5，461-515·Zbl 1105.68331号
[226] Leuschel，M.和Butler，M.J.2008。ProB：B方法的自动分析工具集。国际技术转让软件工具杂志10，2，185-203。
[227] Lifschitz，V.1999。动作语言、答案集和计划。在《逻辑编程范式》中，K.R.Apt、V.W.Marek、M.Truszczynski和D.S.Warren，Eds.Springer，357-373·Zbl 0979.68517号
[228] Lindholm，T.、Yellin，F.、Bracha，G.、Buckley，A.和Smith，D.2021。Java虚拟机规范（Java SE 17版）。神谕。
[229] Lipton，Z.C.2018。模型可解释性的神话。队列16，3。
[230] Lopes，R.、Costa，V.S.和Silva，F.M.A.2012。设计和实施扩展的安道尔模式。逻辑程序设计的理论与实践12，3，319-360·兹比尔1247.68045
[231] Lopez-Garcia，P.、Darmawan，L.、Klemen，M.、Liqat，U.、Bueno，F.和Hermenegildo，M.V.2018。通过翻译成Horn子句和能源消耗应用程序进行基于时间间隔的资源使用验证。逻辑编程理论与实践，验证用计算逻辑专刊18，2，167-223·Zbl 1478.68170号
[232] LPA有限公司2021。关于LPA。网址：https://www.lpa.co.uk/hom_lpa.htm。[于2022年3月11日访问]。
[233] Lusk，E.，Butler，R.，Disz，T.，Olson，R.；Overbeek，R.。Stevens，R.、Warren，D.H.D.、Calderwood，A.、Szeredi，P.、Haridi，S.、Brand，P.，Carlsson，M.、Ciepielewski，A.和Hausman，B.1990。极光或并行Prolog系统。新一代计算7，2-3，243-271。
[234] Madsen，M.和Lhoták，O.2020。大众的修复点：使用一流的数据日志约束进行编程。美国计算机学会程序设计语言会议录4，OOPSLA，125:1-125:28。
[235] Maher，M.J.1987年。一类委托选择程序的逻辑语义。《ICLP会议录》，J.-L.Lassez，麻省理工学院出版社，858-876。
[236] Maier，D.、Tekle，K.T.、Kifer，M.和Warren，D.S.，2018年。数据日志：概念、历史和展望。《声明逻辑程序设计：理论、系统和应用》，M.Kifer和Y.A.Liu主编，ACM，3-100。
[237] Manthey，R.和Bry，F.1988。SATCHMO：在Prolog中实现的定理证明程序。在Proceedings CADE中，R.O.Ewing Lusk，Ed.计算机科学讲义，第310卷。施普林格，415-434·Zbl 0668.68104号
[238] Marcus，G.和Davis，E.2020。GPT-3，Bloviator：OpenAI的语言生成器不知道它在说什么。技术审查。
[239] Marek，V.W.和Truszczynski，M.1999。稳定模型和替代逻辑编程范式。在《逻辑编程范式——25年展望》中，K.R.Apt、V.W.Marek、M.Truszczynski和D.S.Warren，Eds.Springer，375-398·Zbl 0979.68524号
[240] Marple，K.、Salazar，E.和Gupta，G.2017。在无接地的情况下计算正常逻辑程序的稳定模型。arXiv 1709.00501号。
[241] Marriott，K.和Stuckey，P.1998。带约束的编程：导论。麻省理工学院出版社·Zbl 0935.68098号
[242] 麦卡锡，J.1962。LISP 1.5程序员手册。麻省理工学院出版社。
[243] Mccord，M.2006年。老虎机语法词汇形式主义。技术代表，IBM研究部，托马斯·沃森研究中心。
[244] Mcjones，P.2021。Prolog和逻辑编程历史源档案。网址：http://www.softwarepreservation.org/projects/prolog/index.html。[于2022年3月11日访问]。
[245] 梅利什，C.S.，1979年。UNIX PROLOG实现简短指南。爱丁堡大学人工智能系技术代表。
[246] Méndez-Lojo，M.，Navas，J.和Hermenegildo，M.2007。一种灵活的（C）基于LP的面向对象程序分析方法。LOPSTR，A.King，编辑，LNCS，第4915卷。施普林格，154-168·Zbl 1179.68030号
[247] Mera，E.、Lopez-Garcia，P.和Hermenegildo，M.V.2009。在断言验证框架中集成软件测试和运行时检查。《ICLP论文集》，P.M.Hill和D.S.Warren，Eds.Notes，《计算机科学讲座》，第5649卷。施普林格，281-295。
[248] 梅斯纳德（Mesnard，F.）、佩耶特（Payet，E..）。和纽默克尔，U.2002。检测逻辑程序的最佳终止条件。在《SAS学报》中，M.V.Hermenegildo和G.Puebla，Eds.计算机科学讲稿，第2477卷。施普林格，509-526·Zbl 1015.68032号
[249] 米勒，D.2021。证明理论和逻辑程序设计之间的相互影响。哲学与技术34。
[250] Miller，D.和Nadathur，G.2012年。用高阶逻辑编程。剑桥大学出版社·Zbl 1267.68014号
[251] 蒙特罗，L.和波尔图，A.1989。上下文逻辑编程。《ICLP会议录》，G.Levi和M.Martelli，麻省理工学院出版社编辑，284-299。
[252] Morales，J.、Carro，M.和Hermenegildo，M.V.2004。使用模式类型和确定性信息改进Prolog到C的编译。《PADL会议录》，B.Jayaraman，Ed.Notes，《计算机科学讲座》，第3057卷。施普林格，86-103。
[253] Morales，J.、Carro，M.和Hermenegildo，M.V.2008。使用抽象机器生成器比较标记方案的变化。在PPDP程序中。ACM出版社，32-43。
[254] Morales，J.、Carro，M.和Hermenegildo，M.V.2016。用Prolog方言描述和优化抽象机器。逻辑程序设计的理论与实践16，1，1-58·Zbl 1379.68079号
[255] Morales，J.、Carro，M.、Puebla，G.和Hermenegildo，M.2005。高效抽象机器实现的生成器及其在模拟器最小化中的应用。在ICLP会议记录中，M.Gabbrielli和G.Gupta，LNCS编辑，第3668卷。施普林格，21-36·Zbl 1165.68336号
[256] 莫拉，P.2003。面向对象逻辑程序设计语言的设计。贝拉内政大学博士论文。
[257] 莫拉，P.2005。Prolog的可移植性和标准化。逻辑编程协会通讯18，3。
[258] 莫拉，P.2007。Prolog多线程支持。网址：https://logtalk.org/plstd/threads.pdf。
[259] 莫拉，P.2009a。从纯Prolog到Logtalk对象：有效的代码封装和重用。在ICLP会议记录中，P.M.Hill和D.S.Warren，编辑《计算机科学讲义》，第5649卷。施普林格，23-23岁。
[260] 穆拉，P.2009b。团结Prolog社区：个人笔记。逻辑编程协会通讯22，1。
[261] 莫拉，P.2011。Logtalk参数对象的编程模式。《INAP/WLP会议录》，S.Abreu和D.Seipel，Eds.计算机科学讲稿，第3392卷。施普林格，52-69。
[262] Muggleton，S.和De Raedt，L.1994年。归纳逻辑程序设计：理论和方法。《逻辑编程杂志》19/20，629-679·Zbl 0816.68043号
[263] Muthukumar，K.，Bueno，F.，De La Banda，M.G.和Hermenegildo，M.1999。针对受限、目标级、独立和并行的逻辑程序的自动编译时并行化。《逻辑编程杂志》38，2，165-218·Zbl 0927.68018号
[264] Muthukumar，K.和Hermenegildo，M.1989。通过抽象解释确定编译时的变量相关性信息。《北美逻辑编程会议论文集》，E.L.Lusk和R.A.Overbeek，麻省理工学院出版社，166-189年。
[265] Muthukumar，K.和Hermenegildo，M.1990。用于独立和并行逻辑程序的自动编译时并行化的CDG、UDG和MEL方法。在ICLP诉讼中。麻省理工学院出版社，221-237。
[266] Mycroft，A.和O'Keefe，R.A.1984。Prolog的多态类型系统。人工智能23，3，295-307·兹伯利0543.68076
[267] Nadathur，G.2001。元语言（\lambda）序言及其实现。在Proceedings FLOPS中，H.Kuchen和K.Ueda，Eds.《计算机科学讲义》，第2024卷。施普林格，1-20·Zbl 0977.68508号
[268] Nadathur，G.和Miller，D.1988。Lambda Prolog概述。宾夕法尼亚大学计算机与信息科学系技术代表595。
[269] 奈许，L.1982。MU-Prolog简介。墨尔本大学技术代表82/2。
[270] 奈什，L.1985。Prolog控制规则。《国际JCAI会议录》，A.K.Joshi，Ed.Morgan Kaufmann，720-722。
[271] 奈什，L.1986。序言中的否定与控制。计算机科学讲义，第238卷。斯普林格·Zbl 0602.68006号
[272] Nässen，H.、Carlsson，M.和Sagonas，K.2001。SICStus Prolog虚拟机中的指令合并和专门化。在PPDP程序中。ACM出版社，49-60。
[273] Nethercote，N.、Stuckey，P.J.、Becket，R.、Brand，S.、Duck，G.J.和Tack，G.2007。MiniZin：走向标准CP建模语言。在CP，C.BessiÈre，Ed.计算机科学讲义，第4741卷。施普林格，529-543。
[274] 纽默克尔，1990年。亚结构的可扩展统一。在META会议记录中。
[275] 纽默克尔，美国，1994年。基于项之间相等的转换。在LOPSTR，Y.Deville编辑的计算机研讨会上。斯普林格，162-176年。
[276] 纽默克尔，2013年。SWI7和ISO序言。网址：https://www.complang.tuwien.ac.at/ulrich/iso-prolog/SWI7_and_iso。[于2022年3月11日访问]。
[277] Neumerkel，U.和Kral，S.2002。使用GUPU在Prolog中进行声明性程序开发。《WLPE程序集》，A.Tessier，Ed.77-86。
[278] 纽默克尔，U.W.1992。具有部分静态目标和二值化的Prolog程序的专业化。TU Wien博士论文。
[279] 尼梅尔，I.1999。具有稳定模型语义的逻辑程序作为约束编程范式。数学与人工智能年鉴25，241-273·Zbl 0940.68018号
[280] Noble，S.U.2018年。压迫算法：搜索引擎如何强化种族主义。纽约大学出版社。
[281] Nogatz，F.、Körner，P.和Krings，S.2019。Prolog编码指南：状态和工具支持。在ICLP（技术通信）会议记录中，B.Bogaerts、E.Erdem、P.Fodor、A.Formisano、G.Ianni、D.Inclezan、G.Vidal、A.Villanueva、M.D.Vos和F.Yang，EPTCS编辑，第306卷。CoRR，8-21·Zbl 07453099号
[282] Nori，K.V.、Ammann，U.、Jensen，K.和Nägeli，H.1974。PASCAL“P”编译器：实现说明。技术代表，Berichte des Institutes für Informatik，ETH Zürich。
[283] 奥基夫，R.A.1990。Prolog的技巧。麻省理工学院出版社。
[284] Older，W.和Benhamou，F.1993。CLP（BNR）编程。在PPCP诉讼程序中，P.Kanellakis，J.-L.L Lassez和V.Saraswat，编辑239-249。
[285] Omicini，A.和Denti，E.2001。从元组空间到元组中心。计算机编程科学41，3，277-294·Zbl 0989.68120号
[286] Omicini，A.和Zambonelli，F.1998。TuCSoN中移动信息代理的协调。互联网研究8，5，400-413。
[287] Panch，T.、Mattie，H.和Atun，R.2019。人工智能和算法偏差：对卫生系统的影响。《全球健康杂志》9，2。
[288] 帕塞罗，R.1973。总理令第二次对话代表。马赛第二大学鲁米尼科学学院博士论文。
[289] 帕克斯顿，B.2021。Erlang公司。网址：https://erlang-companies.org/。[于2022年3月11日访问]。
[290] 佩雷拉，F.C.1983。C-Prolog用户手册。爱丁堡大学EdCaad。
[291] F.C.Pereira和D.H.Warren，1980年。语言分析的定语从句文法——形式主义综述和与扩充转换网络的比较。人工智能13，3，231-278·Zbl 0442.68088号
[292] F.C.N.Pereira和S.M.Shieber，1987年。Prolog和自然语言分析。CSLI公司。CSLI出版物，185-210·Zbl 0684.68010号
[293] Pereira，L.M.、Pereira，F.C.和Warren，D.H.1978年。DECsystem-10 Prolog用户指南。爱丁堡大学人工智能系。
[294] Pereira，L.M.和Porto，A.1979。Horn子句程序中的智能回溯和侧移——理论。新里斯本大学技术代表CIUNL 2/79。信息中心。
[295] 皮安卡斯特利，G.，贝尼尼，A.，奥米西尼，A.和里奇，A.2008。可延展的面向对象Prolog引擎的体系结构和设计。《SAC程序集》，R.L.Wainwright、H.M.Haddad、R.Menezes和M.Viroli，第1卷。美国医学会，191-197年。
[296] Pineda，A.和Bueno，F.2002。面向对象逻辑编程的O'Ciao方法。《CICLOPS程序集》，B.Demoen，编辑报告CW，第344卷。库·鲁汶，37-48。
[297] Pisano，G.、Calegari，R.、Omicini，A.和Sartor，G.2020。Arg-tuProlog:基于tuProlog的论证框架。《CILC会议录》，F.Calimeri、S.Perri和E.Zumpano，CEUR编辑，第2719卷。CEUR，51-66。
[298] Pisano，G.、Ciatto，G.，Calegari，R.和Omicini，A.2020。XAI的神经符号计算：走向统一模型。在《WOA会议记录》中，R.Calegari、G.Ciatto、E.Denti、A.Omicini和G.Sartor编辑的《CEUR研讨会记录》，第2706卷。CEUR，101-117。
[299] 普尔，D.1993。概率角外推和贝叶斯网络。人工智能64，181-129·Zbl 0792.68176号
[300] Prolog Commons工作组2021。网址：http://prolog-commons.org/。[于2022年3月11日访问]。
[301] Puebla，G.、Bueno，F.和Hermenegildo，M.V.2000a。用于程序验证和调试的通用预处理器。在约束编程的分析和可视化工具中，P.Deransart、M.V.Hermenegildo和J.MaŁuszynski编辑，《计算机科学讲义》，第1870卷。施普林格，63-107。
[302] Puebla，G.、Bueno，F.和Hermenegildo，M.V.2000b。约束逻辑程序的断言语言。在约束编程的分析和可视化工具中，P.Deransart、M.V.Hermenegildo和J.Małuszynski编辑，《计算机科学讲义》，第1870卷。施普林格，23岁至61岁·Zbl 0964.68016号
[303] 主页，Python2021。欢迎访问python.org。网址：https://www.python.org/。[于2022年3月11日访问]。
[304] 主页，R2021。R： 统计计算R项目。网址：https://www.r-project.org/。[于2022年3月11日访问]。
[305] RackLog主页2021。RackLog语言。网址：https://docs.frack-lang.org/racklog/index.html。[于2022年3月11日访问]。
[306] Ramakrishnan，R.、Srivastava，D.、Sudarshan，S.和Seshadri，P.1994。CORAL演绎系统。国际超大数据库期刊3，2，161-210。
[307] Ramakrishnan，R.和Ullman，J.D.1993。演绎数据库系统研究综述。逻辑编程杂志23，2，125-149。
[308] Rao，P.、Sagonas，K.、Swift，T.、Warren，D.S.和Freire，J.1997。XSB：有效计算基础良好语义的系统。《LPNMR论文集》，J.Dix，U.Furbach和A.Nerode，编辑笔记，计算机科学讲座，第1265卷。施普林格，430-440。
[309] Rastogi，A.、Swamy，N.、Fournet，C.、Bierman，G.和Vekris，P.2015。安全高效的TypeScript渐进式键入。在POPL会议记录中。美国医学会，167-180·Zbl 1346.68049号
[310] Reiter，R.1978年。在封闭的世界数据库上。《逻辑与数据库》，H.Gallaire和J.Minker主编，Springer，55-76。
[311] 里古齐，F.2007。LPAD和CP逻辑的自顶向下解释器。《2007年AI*IA会议录》，R.Basili和M.T.Pazienza，《计算机科学讲义》第4733卷。施普林格，109-120。
[312] Riguzzi，F.2018。概率逻辑编程基础。River出版社·Zbl 1420.68003号
[313] 罗伯茨，G.M.1977年。PROLOG的实现。加拿大安大略省滑铁卢市滑铁卢大学博士论文。（硕士论文）。
[314] 罗宾逊，J.A.1965。基于解析原理的面向机器的逻辑。美国医学会杂志12，1，23-41·兹伯利0139.12303
[315] Rocha，R.，Silva，F.M.A.和Costa，V.S.2005。在逻辑程序中应用或并行和表。逻辑程序设计理论与实践5，1-2，161-205·Zbl 1093.68021号
[316] Roussel，P.1972年。定义和培训的l’égalitéformelle的自动化监控。马赛第二大学鲁米尼科学学院博士论文。
[317] Roy，P.V.、Haridi，S.、Schulte，C.和Smolka，G.2020。Oz多半径语言的hmstory。在诉讼程序HOPL中。美国医学会，83:1-83:56。
[318] 主页，Rust2021。Rust编程语言。网址：https://www.rust-lang.org/。[于2022年3月11日访问]。
[319] Sagonas，K.、Swift，T.和Warren，D.S.，1994年。XSB是一个高效的演绎数据库引擎。SIGMOD第23、2、442-453页。
[320] Sagonas，K.F.、Swift，T.和Warren，D.S.，1993年。XSB编程系统。《逻辑数据库编程研讨会论文集》，R.Ramakrishnan，Ed.技术报告，第1183卷。威斯康星大学，164。
[321] Sammut C.和Sammut R.A.1983。UNSW-PROLOG的实施。澳大利亚计算机杂志15，2，58-64·Zbl 0515.68010号
[322] Sanchez-Ordaz，M.、Garcia-Contreras，I.、Perez-Carrasco，V.、Morales，J.F.、Lopez-Garcia，P.和Hermenegildo，M.V.2021。验证：通过增量进行即时断言检查。逻辑程序设计理论与实践21，6，768-784。
[323] Santos Costa，V.、Sagonas，K.F.和Lopes，R.2007。Prolog子句的需求驱动索引。在ICLP会议记录中，V.Dahl和I.Niemelä，LNCS编辑，第4670卷。施普林格，395-409。
[324] 佐藤，T.1995。具有分布语义的逻辑程序的统计学习方法。《ICLP会议录》，L.Sterling，编辑，麻省理工学院出版社，715-729。
[325] 佐藤，T.和卡梅亚，1997年。棱镜：一种符号统计建模语言。在IJCAI会议记录中。摩根·考夫曼（Morgan Kaufmann），1330-1339年。
[326] 谢尔霍恩，G.1999。抽象状态机的验证。乌尔姆大学博士论文。
[327] 谢尔霍恩，G.和阿伦特，W.1998。WAM案例研究：使用KIV验证Prolog的编译器正确性。在《自动化演绎——应用基础》一书中，W.Bibel和P.H.Schmitt，Eds.Applied Logic Series，第10卷。斯普林格，165-194年·Zbl 0977.68017号
[328] 主页，Schelog2018。Schelog语言。网址：https://ds26gte.github.io/schelog/index.html。[于2022年3月11日访问]。
[329] Schimpf，J.和Shen，K.2012。Ecl^ips^e-从LP到CLP。逻辑程序设计的理论与实践12，1-2，127-156·Zbl 1244.68020号
[330] Schrijvers，T.、Costa，V.S.、Wielemaker，J.和Demoen，B.2008。朝向键入的Prolog。在ICLP会议录中，M.G.de la Banda和E.Pontelli，Eds.计算机科学讲义，第5366卷。施普林格，693-697·Zbl 1185.68181号
[331] Schrijvers，T.和Demoen，B.2008。团结Prolog社区。在ICLP会议录中，M.G.de la Banda和E.Pontelli，Eds.计算机科学讲义，第5366卷。施普林格，7-8。
[332] Schrijvers，T.、Demoen，B.、Desouter，B.和Wielemaker，J.2013。Prolog的分隔连续部分。逻辑程序设计的理论与实践13，4-5，533-546·Zbl 1312.68037号
[333] Schrijvers，T.和Warren，D.S.，2004年。约束处理规则和表格执行。在ICLP会议录中，B.Demoen和V.Lifschitz，Eds.计算机科学讲义，第3132卷。施普林格，120-136·Zbl 1104.68366号
[334] Prolog，Scryer2021。Scryer序言。网址：https://github.com/mthom/cryer-prolog。[于2022年3月11日访问]。
[335] Seo，J.、Guo，S.和Lam，M.S.，2015年。SociaLite：一种基于数据日志的高效图形查询语言。IEEE知识与数据工程汇刊27，7，1824-1837。
[336] Serafini，L.、Donadello，I.和D’Avila Garcez，A.S.，2017年。逻辑张量网络中的学习和推理：语义图像解释的理论和应用。《SAC程序集》，Seffah，A.，Penzenstadler，B.，Alves，C.和Peng，X.，编辑ACM，125-130。
[337] 图Prolog Home2021。tuProlog主页。网址：http://tuprolog.unibo.it。[于2022年3月11日访问]。
[338] Shapiro，E.、Warren，D.H.D.、Fuchi，K.、Kowalski，R.A.、Furukawa，K..、Ueda，K.，Kahn，K.M.、Chikayama，T.和Tick，E.1993。第五代项目：个人观点。ACM通信36、3、46-103。
[339] 夏皮罗，E.Y.1983。并发Prolog的子集及其解释器。技术代表TR-003，ICOT，1-4-28 Mita，Minato-ku Tokyo 108，Japan。
[340] 夏皮罗，E.Y.1987。并发PROLOG：论文集。麻省理工学院出版社。
[341] Shen，W.、Doan，A.、Naughton，J.F.和Ramakrishnan，R.，2007年。使用带有嵌入式提取谓词的数据日志进行声明性信息提取。《VLDB诉讼》，C.Koch、J.Gehrke、M.N.Garofalakis、D.Srivastava、K.Aberer、A.Deshpande、D.Florescu、C.Y.Chan、V.Ganti、C.Kanne、W.Klas和E.J.Neuhold，编辑：ACM，1033-1044。
[342] SICS。2021.Quintus Prolog主页。网址：https://quintus.sics.se/。[于2022年3月11日访问]。
[343] SICStus Prolog主页2021。SICStus Prolog—领先的Prolog技术。网址：https://sicstus.sics.se。[于2022年3月11日访问]。
[344] Siek，J.G.和Taha，W.2006。函数式语言的渐进式键入。方案和函数编程论文。芝加哥大学，81-92。TR-2006-06。
[345] Simon，L.、Mallya，A.、Bansal，A.和Gupta，G.2006。共导逻辑编程。在ICLP会议录中，S.Etalle和M.Truszczynski，Eds.计算机科学讲义，第4079卷。施普林格，330-345·Zbl 1131.68400号
[346] 辛普金斯，N.K.和汉考克斯，P.1990。Prolog中的图表分析。新一代计算8，2，113-138。
[347] Somogyi，Z.，Henderson，F.和Conway，T.C.1996。汞的执行算法，一种高效的纯声明逻辑编程语言。逻辑编程杂志29，1-3，17-64·Zbl 0877.68015号
[348] Sterling，L.和Shapiro，E.，1994年。序言的艺术：高级编程技术。麻省理工学院出版社·兹比尔0850.68137
[349] Stickel，M.E.1984。Prolog技术定理证明器。在SLP诉讼中。IEEE，212-220。
[350] Stickel，M.E.1992。Prolog技术定理证明器：Prolog中的一个新的阐述和实现。理论计算机科学104，1，109-128·Zbl 0771.68096号
[351] Stulova，N.、Morales，J.F.和Hermenegildo，M.V.2018。利用术语隐藏来减少运行时检查开销。《PADL会议录》，F.Calimeri、K.Hamlen和N.Leone，LNCS编辑，第10702卷。施普林格，99-115。
[352] Sun，H.、Arnold，A.O.、Bedrax-Weiss，T.、Pereira，F.和Cohen，W.W.2020。用于知识库查询的忠实嵌入。在《NeurIPS程序集》中，H.Larochelle、M.Ranzato、R.Hadsell、M.Balcan和H.Lin，Eds.NeurIPS.cc。
[353] SWI-角色2021。SWI-Prolog-手动。网址：https://www.swi-prolog.org/pldoc/man？section=implhistory。[于2022年3月11日访问]。
[354] Prolog主页，Swi2021。SWI Prolog——健壮、成熟、免费。现实世界的序言。网址：https://www.swi-prolog.org。[于2022年3月11日访问]。
[355] 斯威夫特，T.2009。Prolog-commons工作组报告。逻辑编程协会通讯22，1。
[356] Swift，T.和Warren，D.S.，2012年。XSB：用表逻辑编程扩展Prolog。逻辑编程的理论与实践12，1-2157-187·Zbl 1244.68021号
[357] 西蒙兹，A.J.，1986年。介绍IBM的知识系统产品。《IBM系统期刊》25，2134-146。
[358] Syrjänen，T.和Niemelä，I.2001。Smodels系统。《LPNMR论文集》，T.Eiter、W.Faber和M.Truszczynski主编，《计算机科学讲义》，第2173卷。施普林格，434-438·Zbl 1010.68797号
[359] Szabó，P.和Szeredi，P.2006。通过分析符合性测试结果改进ISO Prolog标准。在ICLP会议录中，S.Etalle和M.Truszczynski，Eds.计算机科学讲义，第4079卷。施普林格，257-269·Zbl 1131.68402号
[360] Szeredi，P.2004。Prolog在匈牙利的早期。逻辑编程协会通讯17，4。
[361] Tamaki，H.和Sato，T.1986。带表格的旧分辨率。《ICLP会议录》，E.Shapiro，Ed.计算机科学讲稿，第225卷。施普林格，84-98·Zbl 0607.68072号
[362] 塔劳，P.1992。BinProlog：延续传递式Prolog引擎。在PLILP论文集中，M.Bruynooghe和M.Wirsing，Eds.计算机科学讲稿，第631卷。施普林格，479-480。
[363] Tarau，P.2012。BinProlog体验：延续传递Prolog和一流逻辑引擎的架构和实现选择。逻辑程序设计的理论与实践12，1-2，97-126·Zbl 1244.68022号
[364] 塔劳，P.2021。Natlog：一种轻量级逻辑编程语言，具有神经符号的特点。在ICLP（技术通信）会议记录中，A.Formisano、Y.A.Liu、B.Bogaerts、A.Brik、V.Dahl、C.Dodaro、P.Fodor、G.L.Pozzato、J.Vennekens和N.F.Zhou，编辑EPTCS，第345卷，第141-154页。
[365] \（\tau\）Prolog主页\（2021。\tau \）Prolog—一个javascript中的开源Prolog解释器。网址：http://tau-prolog.org。[于2022年3月11日访问]。
[366] comp.lang.Prolog常见问题解答2021。网址：http://www.logic.at/prolog/faq/。【查阅日期：2022年3月11日】。
[367] Thom，J.和Zobel，J.1987。NU-Prolog参考手册。墨尔本大学计算机科学系。
[368] Tick，E.1984。序列Prolog机器：图像和主机架构。《MICRO学报》，M.Carter和R.A.Mueller，编辑ACM/IEEE，204-216。
[369] Tolan，S.、Miron，M.、Gómez，E.和Castillo，C.2019。为什么机器学习可能导致不公平：来自加泰罗尼亚青少年司法风险评估的证据。在ICAIL诉讼中。美国医学会，83-92。
[370] Triska，M.2012年。SWI-Prolog的有限域约束求解器。在Proceedings FLOPS中，T.Schrijvers和P.Thiemann，Eds.计算机科学讲稿，第7294卷。施普林格，307-316。
[371] 特里斯卡，M.2021。Prolog的力量。网址：https://www.metalevel.at/prolog。[于2022年3月11日访问]·Zbl 1475.68056号
[372] Triska，M.、Neumerkel，U.和Wielemaker，J.2009。带约束的Prolog的更佳终止。CoRR abs/0903.2168。
[373] 尤达，K.1985。保护喇叭条款。在Proceedings LP，E.Wada，Ed.计算机科学讲稿，第221卷。施普林格，168-179·Zbl 1497.68089号
[374] Ueda，K.和Chikayama，T.1990。并行推理机内核语言的设计。《计算机杂志》33，6494-500。
[375] Van Emden，M.2006年。逻辑编程的早期：个人观点。逻辑编程协会通讯19，3。
[376] Van Emden，M.和Kowalski，R.1976。作为编程语言的谓词逻辑的语义。美国医学会杂志23，733-742·Zbl 0339.68004号
[377] Van Emden，M.和Lloyd，J.1984。Prolog II的逻辑重建。逻辑编程杂志1，2，143-149·Zbl 0594.68033号
[378] Van Gelder，A.、Ross，K.A.和Schlipf，J.S.1991年。通用逻辑程序的基础良好的语义。美国医学会杂志38，3，619-649·Zbl 0799.68045号
[379] 范罗伊，P.1994。1983-1993：序贯Prolog实现的奇迹年。《逻辑编程杂志》19/20，385-441·Zbl 0817.68054号
[380] Van Roy，P.和Despain，A.1992。使用宝瓶座Prolog编译器进行高性能逻辑编程。IEEE计算机杂志25，1，54-68。
[381] Vaz，D.、Santos Costa，V.和Ferreira，M.2009。用户定义的索引。在ICLP会议录中，P.M.Hill和D.S.Warren，Eds.计算机科学讲义，第5649卷。施普林格，372-386。
[382] Vennekens，J.、Verbaeten，S.和Bruynooghe，M.2004。带注释析取的逻辑程序。在ICLP会议录中，B.Demoen和V.Lifschitz，Eds.计算机科学讲义，第3132卷。施普林格，431-445·Zbl 1104.68391号
[383] Wallace，M.和Schimpf，J.1999。ECLiPSe：声明性规范和可扩展实现。《PADL会议录》，G.Gupta，Ed.计算机科学讲稿，第1551卷。斯普林格，365-366。
[384] Wallace，M.和Veron，A.1993。两个问题-两个解决方案：一个系统\（\text{ECL}^i\text{PS}^e\）。在高级软件技术调度。IET，3/1-3/3。
[385] Wang，Y.和Nadathur，G.2016。函数程序验证转换的高阶抽象语法方法·Zbl 1335.68036号
[386] 沃伦·D·H·1974。作战计划：生成计划的系统。技术代表76，爱丁堡大学人工智能学院计算逻辑系。
[387] 沃伦·D·H·1975。PROLOG到DEC 10机器代码编译器。
[388] 沃伦·D·H·1977。应用逻辑——作为编程工具的使用和实现。爱丁堡大学博士论文。另见SRI技术说明290。
[389] 沃伦，D.H.，1980年。优化尾部递归的改进Prolog实现。技术代表141，爱丁堡大学人工智能学院计算逻辑系。
[390] 沃伦，D.H.1983年。一个抽象的Prolog指令集。SRI国际计算机科学与技术部人工智能中心技术代表技术说明309。
[391] 沃伦·D·H·1990。具有隐式控制的扩展安道尔模型。在ICLP’90并行逻辑编程研讨会上发表。
[392] 沃伦，D.H.，科恩菲尔德，W.和伯德，L.1984。产品规范。网址：http://www.softwarepreservation.org/projects/prolog/quintus/doc/Warren_et_al-Product_Specifications-1984_07.pdf。[于2022年3月11日访问]。
[393] Warren，D.H.和Pereira，F.C.1982年。用于解释自然语言查询的高效、易于适应的系统。计算语言学8，3-4，110-122。
[394] 沃伦·D·H、佩雷拉·L·M和佩雷拉·F·C·1977。Prolog—语言及其实现与lisp的比较。ACM SIGPLAN通知12、8、109-115。
[395] Warren，D.S.1998年。使用XSB中的表格进行编程。在Proceedings PROCOMET，D.Gries和W.P.de Roever，Eds.IFIPAICT，第125卷。查普曼和霍尔，5-6岁。
[396] Warren，R.、Hermenegildo，M.和Debray，S.K.1988。关于逻辑程序全局流分析的实用性。《ICLP/SLP会议录》，R.Kowalski和K.A.Bowen，麻省理工学院出版社，684-699。
[397] 温格E.、麦克德莫特R.A.和斯奈德W.2002。培养实践社区：管理知识指南。哈佛商业出版社。
[398] Whaley，J.、Avots，D.、Carbin，M.和Lam，M.S.，2005年。使用带有二进制决策图的数据日志进行程序分析。载于APLAS，K.Yi编辑的《计算机科学讲义》，第3780卷。施普林格，97-118·Zbl 1159.68386号
[399] Wielemaker，J.和Costa，V.S.2011。关于Prolog应用程序的可移植性。《PADL会议录》，R.Rocha和J.Launchbury，Eds.计算机科学讲稿，第1551卷。施普林格，69-83。
[400] Wielemaker，J.、Hildebrand，M.、Van Ossenbruggen，J.和Schreiber，G.2008。大型异构集合中基于同义词表的搜索。在ISWC会议录中，A.P.Sheth、S.Staab、M.Dean、M.Paolucci、D.Maynard、T.W.Finin和K.Thirunarayan，编辑《计算机科学讲义》，第5318卷。施普林格，695-708。
[401] Wielemaker，J.、Huang，Z.和Van Der Meij，L.2008。SWI-Prolog和web。逻辑程序设计理论与实践8，3，363-392·Zbl 1139.68012号
[402] Wielemaker，J.、Riguzzi，F.、Kowalski，R.A.、Lager，T.、Sadri，F.和Calejo，M.2019。使用SWISH实现基于逻辑语言的交互式网络教程。逻辑程序设计理论与实践19，2，229-261·Zbl 1486.68029号
[403] Wielemaker，J.、Schrijvers，T.、Triska，M.和Lager，T.2012。SWI-预测。逻辑程序设计的理论与实践12，1-2，67-96·Zbl 1244.68023号
[404] Prolog主页，Xsb2021。欢迎来到XSB之家！网址：http://xsb.sourceforge.net。[于2022年3月11日访问]。
[405] 周，N.-F.1996。重新讨论了Prolog实现中的参数传递和控制堆栈管理。编程语言与系统学报18，6，752-779。
[406] 周，N.-F.2006。在操作规则中编程有限域约束传播器。逻辑程序设计理论与实践6，5，483-507·Zbl 1122.68035号
【407】 周，N.-F.2012。B-Prolog的语言特性和体系结构。逻辑程序设计的理论与实践12，1-2，189-218·Zbl 1244.68024号
[408] 周，N.-F.2021。在Picat中使用SAT编码的可达性约束来建模和解决图合成问题。在ICLP（技术通信）程序中，A.Formisano、Y.A.Liu、B.Bogaerts、A.Brik、V.Dahl、C.Dodaro、P.Fodor、G.L.Pozzato、J.Vennekens和N.F.Zhou，编辑EPTCS，第345卷，第165-178页。
[409] Zhou，N.-F.和Fruhman，J.2021。Picat用户指南。网址：http://retina.inf.ufsc.br/picat_guide/。[于2022年3月11日访问]。
[410] Zhou，N.-F.，Kjellerstrand，H.和Fruhman，J.2015。使用Picat解决约束和规划。Springer智能系统简介。斯普林格。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。