有限域上的约束函数逻辑编程
摘要：基于有限域的约束函数逻辑编程的提案 (CFLP(FD)) 继承了一种延迟函数逻辑编程语言，可以无缝集成有限域 (FD) 约束。通过结合函数和关系符号、柯里化表达式、高阶函数、模式、部分应用、非确定性、惰性求值、逻辑变量、类型、域变量、约束组合和有限域约束，这种提案增强了有限域约束逻辑编程 (CLP(FD)) 的表达能力和功能。我们描述了语言的语法、类型规则和声明性和操作语义。我们还描述了 TOY(FD) 的实现，它是适用于 CFLP(FD) 的实现，并从编程角度对我们的方法与 CLP(FD) 进行了比较，展示了我们所引入的新特性。最后，我们展示了一项性能分析，证明我们的实现与现有的 CLP(FD) 系统相当，并且明显优于更接近 CFLP(FD) 的方法。
作者：Antonio J. Fernandez, Teresa Hortala-Gonzalez, Fernando Saenz-Perez and Rafael del Vado-Virseda
论文ID：cs/0601071
分类：Programming Languages
分类简称：cs.PL
提交时间：2007-05-23