有限域上的约束函数逻辑编程
编程语言
2007-05-23 v1
摘要
本文提出了基于有限域的约束函数逻辑编程（CFLP(FD)），这是一种延迟求值的函数逻辑编程语言，无缝嵌入有限域（FD）约束。该方案通过结合函数式与关系式notation、柯里化表达式、高阶函数、模式、局部分应用、非确定性、惰性求值、逻辑变量、类型、域变量、约束组合以及有限域约束，提高了基于有限域的约束逻辑编程（CLP(FD)）的表达性和功能。我们描述了该语言的语法、类型体系及其声明性与操作性语义。我们还描述了用于 CFLP(FD) 的实现 TOY(FD)，并从编程角度比较了该方案与 CLP(FD) 的差异，展示了我们引入的新特性。最终，我们进行的性能分析表明，该实现在与现有 CLP(FD) 系统竞争时表现优异，明显优于最接近 CFLP(FD) 的现有方法。
引用
@article{arxiv.cs/0601071,
title = {Constraint Functional Logic Programming over Finite Domains},
author = {Antonio J. Fernandez and Teresa Hortala-Gonzalez and Fernando Saenz-Perez and Rafael del Vado-Virseda},
journal= {arXiv preprint arXiv:cs/0601071},
year = {2007}
}
备注
Accepted for publication in Theory and Practice of Logic programming (TPLP); 47 pages