安东尼奥·J·费尔南德斯。;Hortalá-González，特蕾莎;Sáenz-Pérez，费尔南多 用约束函数逻辑语言解决组合问题。 （英语） Zbl 1026.68774号 Dahl，Veronica（编辑）等人，声明性语言的实践方面。第五届国际研讨会，2003年PADL，美国洛杉矶新奥尔良，2003年1月13日至14日。诉讼程序。柏林：施普林格。莱克特。注释计算。科学。2562, 320-338 (2002). 摘要：本文描述了在功能逻辑系统中加入有限域约束的建议。该提案集成了函数、高阶模式、部分应用程序、非确定性、逻辑变量、currying、类型、惰性、域变量、约束和有限域传播器。本文还介绍了TOY（FD），它是函数逻辑语言TOY的扩展，提供了FD约束，并通过实例表明，TOY（FD）将约束逻辑编程的能力与函数逻辑编程的高阶特性结合在一起。有关整个系列，请参见[Zbl 1014.68932号]. 引用于3文件 MSC公司： 68单位99 计算方法和应用 68N17号 逻辑编程 68甲18 函数编程和lambda演算 68卢比 计算机科学中的组合数学 关键词：约束条件;功能逻辑编程;有限域 软件：欧兹;玩具 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Fernández}等人，Lect。注释计算。科学。2562、320-338（2002年；Zbl 1026.68774） 全文： 链接