摘要
H.艾特·卡奇。 1991年，沃伦的抽象机器。 麻省理工学院出版社。 谷歌学者 
E.Albert、M.Hanus、F.Huch、J.Oliver和G.Vidal。 2005.声明性多范式语言的操作语义。 符号计算杂志40，1（2005），795–829。 谷歌学者 数字图书馆 
A.Alqaddoumi、S.Antoy、S.Fischer和F.Reck。 2010年，Pull-Tab转型。 程序中。 第三届图形计算模型国际研讨会。 荷兰恩舍德，127-132。 可在 http://gcm2010.imag.fr/pages/gcm2010-preproceedings.pdf。 谷歌学者 S.Antoy。 1997年。最佳非确定性函数逻辑计算。 程序中。 代数和逻辑程序设计国际会议（ALP’97）。 施普林格LNCS 1298，16–30。 谷歌学者 交叉引用 
S.Antoy。 2011年，《论拉削的正确性》，《逻辑程序设计的理论与实践》11，4-5（2011），713–730。 https://doi.org/10.1017/S1471068411000263 谷歌学者 交叉引用 S.Antoy、R.Echahed和M.Hanus。 2000.一项必要的缩小战略。 《美国临床医学杂志》47，4（2000），776–822。 https://doi.org/10.1145/347476.347484 谷歌学者 数字图书馆 S.Antoy和M.Hanus。 2000.将多Paradigm声明性程序编译为Prolog。 程序中。 联合系统前沿国际研讨会（FroCoS’2000）。 施普林格LNCS 1794、171–185。 谷歌学者 S.Antoy和M.Hanus。 2005.函数模式的声明性编程。 《基于逻辑的程序合成与转换国际研讨会论文集》（LOPSTR'05）。 施普林格LNCS 3901，6–22。 https://doi.org/10.1007/111680093_2 谷歌学者 数字图书馆 S.Antoy和M.Hanus。 2006.函数逻辑程序中的重叠规则和逻辑变量。 《第22届逻辑程序设计国际会议论文集》（ICLP 2006）。 施普林格LNCS 4079，87–101。 谷歌学者 数字图书馆 S.Antoy和M.Hanus。 2009.设置功能逻辑编程的功能。 在第11届ACM SIGPLAN国际声明性编程原则和实践会议（PPDP'09）的会议记录中。 ACM出版社，73–82。 https://doi.org/10.1145/1599410.1599420 谷歌学者 数字图书馆 S.Antoy和M.Hanus。 2010.功能逻辑编程。 Commun公司。 ACM 53，4（2010），74-85。 https://doi.org/10.1145/1721654.1721675 谷歌学者 数字图书馆 S.Antoy和M.Hanus。 2012.功能逻辑编程合同和规范。 程序中。 第十四届国际声明性语言实践方面研讨会（PADL 2012）。 施普林格LNCS 7149，33–47。 https://doi.org/10.1007/978-3-642-27694-1_4 谷歌学者 数字图书馆 S.Antoy和M.Hanus。 2017.货币默认规则。 逻辑程序设计理论与实践17，2（2017），121-147。 https://doi.org/10.1017/S1471068416000168 谷歌学者 交叉引用 S.Antoy和M.Hanus。 2017.将布尔等式转换为约束。 《计算的形式方面》29，3（2017），475–494。 https://doi.org/10.1007/s00165-016-0399-6 谷歌学者 数字图书馆 S.Antoy、M.Hanus、A.Jost和S.Libby。 2020年，国际货币基金组织。 在声明式编程和知识管理-声明式编程会议（DECLARE 2019）。 施普林格LNCS 12057、286–307。 https://doi.org/10.1007/978-3-030-46714-2_18 谷歌学者 数字图书馆 S.Antoy、M.Hanus、J.Liu和A.Tolmach。 2005.用于功能逻辑计算的虚拟机。 程序中。 第16届函数式语言的实现和应用国际研讨会（IFL 2004）。 施普林格LNCS 3474，108–125。 谷歌学者 S.Antoy和A.Jost。 2013.编译函数逻辑语言：公平方案。 第23届基于逻辑的程序综合与转换国际研讨会论文集（LOPSTR，2013）。 施普林格LNCS 8901202-219。 https://doi.org/10.1007/978-3-319-14125-1_12 谷歌学者 S.Antoy和A.Jost。 2016.一款新的Curry功能逻辑编译器：Sprite。 第26届基于逻辑的程序合成与转换国际研讨会（LOPSTR 2016）会议记录。 施普林格LNCS 10184，97–113。 https://doi.org/10.1007/978-3-319-63139-4_6 谷歌学者 B.Braßel、M.Hanus、B.Peemöller和F.Reck。 2011年，KiCS2:从Curry到Haskell的新编译器。 程序中。 第20届函数和（约束）逻辑编程国际研讨会（WFLP 2011）。 施普林格LNCS 6816，1-18。 https://doi.org/10.1007/978-3-642-22531-4_1 谷歌学者 交叉引用 B.Braßel和F.Huch。 2007年，关于函数和逻辑编程的更紧密集成。 程序中。 2007年APLAS。 施普林格LNCS 4807、122–138。 谷歌学者 J.Chassin de Kergommeaux和P.Codognet。 1994.并行逻辑编程系统。 ACM Computing Serveys第26、3期（1994年），295–336页。 https://doi.org/10.1145/185403.185453 谷歌学者 数字图书馆 R.Echahed和J.-C.Janodet。 1997。关于基于构造函数的图形重写系统。 研究报告IMAG 985-I.IMAG-LSR，CNRS，格勒诺布尔。 谷歌学者 J.C.González-Moreno、M.T.Hortalá-Gonzáles、F.J.López-Fraguas和M.Rodríguez-Artalejo。 1999.一种基于重写逻辑的声明性编程方法。 《逻辑编程杂志》40（1999），47–87。 谷歌学者 交叉引用 M.哈纳斯。 1990年，编写平等的逻辑程序。 程序中。 第二届国际编程语言实现与逻辑编程研讨会的主席。 斯普林格LNCS 456387–401。 谷歌学者 M.哈纳斯。 2012.通过需求分析改进惰性非确定性计算。 第28届逻辑程序设计国际会议技术通讯，第17卷。 莱布尼茨国际信息学学报（LIPIcs），130-143。 https://doi.org/10.4230/LIPIcs.ICLP.2012.130 谷歌学者 M.哈纳斯。 2013.函数逻辑编程：从理论到Curry。 在编程逻辑中——纪念哈拉尔德·甘辛格的随笔。 施普林格LNCS 7797、123–168。 https://doi.org/10.1007/978-3642-37651-1_6 谷歌学者 M.哈纳斯。 2017.CurryCheck：检查Curry程序的属性。 第26届基于逻辑的程序合成与转换国际研讨会（LOPSTR 2016）会议记录。 施普林格LNCS 10184、222–239。 https://doi.org/10.1007/978-3-319-63139-4_13 谷歌学者 交叉引用 M.哈纳斯。 2020年，结合静态和动态合同检查货币。 《基础信息》173，4（2020），285–314。 https://doi.org/10.3233/FI-2020-1925 谷歌学者 交叉引用 M.Hanus、S.Antoy、B.Braßel、M.Engelke、K.Höppner、J.Koj、P.Niederau、R.Sadre、F.Steiner和F.Teegen。 2020年，PAKCS：波特兰亚琛基尔咖喱体系。 可在 http://www.informatik.uni-kiel.de/ ~pakcs/。 谷歌学者 M.Hanus和R.Sadre。 1999.Curry抽象机及其Java并发实现。 《函数和逻辑程序设计杂志》1999，6（1999）。 谷歌学者 M.Hanus和F.Teegen。 2021.函数逻辑编程的记忆拉码。 程序中。 第28届功能和（约束）逻辑编程国际研讨会（WFLP 2020）。 施普林格LNCS 12560，57–73。 https://doi.org/10.1007/978-3-030-75333-7_4 谷歌学者 M.Hanus（编辑）。 2016年，Curry:一种集成函数逻辑语言（版本0.9.0）。 可在 http://www.curry-lang.org。 谷歌学者 S.Haridi和P.Brand。 1988年，安道尔Prolog：Prolog语言与承诺选择语言的融合。 程序中。 第五代计算机系统国际会议。 745–754. 谷歌学者 M.V.Hermenegildo和F.Rossi。 逻辑程序中的严格和非严格独立并行：正确性、效率和编译时条件。 《逻辑编程杂志》22，1（1995），1-45。 谷歌学者 交叉引用 C.A.R.霍尔。 1978.通信顺序过程。 Commun公司。 ACM 21，8（1978），666–677。 https://doi.org/10.1145/359576.359585 谷歌学者 数字图书馆 G.Huet和J.-J.莱维。 1991年。正交重写系统中的计算。 《计算逻辑：纪念艾伦·罗宾逊、J.-L.拉塞兹和G.普罗特金的论文》（编辑）。 麻省理工学院出版社，395-443。 谷歌学者 H.Hussmann。 1992年。非确定性代数规范和非连续项重写。 《逻辑编程杂志》12（1992），237–255。 https://doi.org/10.1016/0743-1066 （92）90026-Y 谷歌学者 数字图书馆 T.约翰逊。 1985.Lambda提升：将程序转换为递归函数。 函数编程语言和计算机体系结构。 施普林格LNCS 201、190–203。 谷歌学者 J.朗奇伯里。 1993。懒惰评估的自然语义。 程序中。 第20届美国计算机学会程序设计语言原理研讨会（POPL'93）。 ACM出版社，144-154。 谷歌学者 数字图书馆 F.López-Fraguas和J.Sánchez-Hernández。 1999年，TOY：一个多参数声明系统。 程序中。 RTA'99年。 施普林格LNCS 1631、244–247。 谷歌学者 西勒克斯。 1999.实现对懒惰函数逻辑语言的封装搜索。 程序中。 第四届富士函数与逻辑编程国际研讨会（FLOPS’99）。 施普林格LNCS 1722100-113。 谷歌学者 数字图书馆 W.帕坦。 1993年，Haskell项目的nofib基准套件。 1992年格拉斯哥函数编程研讨会论文集。 斯普林格，195-202。 谷歌学者 交叉引用 S.L.佩顿·琼斯。 1992.在库存硬件上实现惰性函数语言：无脊椎无标签G机。 函数编程杂志2，2（1992），127-202。 谷歌学者 交叉引用 S.Peyton Jones（编辑）。 2003年，Haskell 98语言和图书馆——修订报告。 剑桥大学出版社。 谷歌学者 D.丰满。 1999.术语图改写。 在《图形语法和图形变换计算手册》第2卷：应用程序、语言和工具中，H.Ehrig、G.Engels、H.-J.Kreowski和G.Rozenberg（编辑）。 世界科学，3-61。 谷歌学者 美国雷迪。 1985.缩小为功能语言的操作语义。 程序中。 IEEE国际。 逻辑程序设计研讨会。 波士顿，138-151。 谷歌学者 J.C.雷诺兹。 1972年。高级编程语言的定义解释器。 ACM年会会议记录。 ACM出版社，717–740。 谷歌学者 数字图书馆 P.Wadler。 1985.如何用成功列表取代失败。 函数编程与计算机体系结构。 施普林格LNCS 201、113–128。 谷歌学者 P.Wadler。 1997.如何宣布紧急事件。 计算。 调查29，3（1997），240–263。 谷歌学者 数字图书馆 D.H.D.沃伦。 1982.Prolog的高级扩展：是否需要？。 机器智能10。 441–454. 谷歌学者 D.H.D.沃伦。 1987.Prolog并行执行的SRI模型：抽象设计和实现问题。 程序中。 1987年国际。 逻辑程序设计研讨会。 第92页至第102页。 谷歌学者 M.A.Wittorf，2018年。 Curry程序到命令程序的通用翻译（德语）。 硕士论文。 基尔大学。 谷歌学者
建议
函数逻辑程序的一元实现 PPDP’22：第24届声明性编程原则与实践国际研讨会会议记录 函数逻辑语言是一种高级编程方法，它结合了最重要的声明性特性。 它们从小步操作细节中抽象出来，以便程序员能够专注于应用程序的逻辑方面。。。 命令式语言中声明式程序设计的谓词结构 PPDP’22：第24届声明性编程原则与实践国际研讨会会议记录 命令式和面向对象的编程语言是通用编程最常用的语言之一。 这些语言可以很好地处理大多数应用程序所需的许多常见任务。 然而，仍然有很多困难。。。 一致证明与析取逻辑程序设计 LICS’95：第十届IEEE计算机科学逻辑年会论文集 逻辑编程概念的一种表述是抽象逻辑编程语言的概念。 其定义的核心是一个统一的证明，它强制执行推理方向的要求，包括目标导向性，以及。。。
