声明式编程与约束编程的集成
编程语言
2007-05-23 v2 人工智能
摘要
将现有约束求解器集成为一个协作求解器的集成系统是一种有用且经济的原则，用于解决混合约束问题。在本文中，我们表明这一方法也可用于将不同的语言范式集成到统一框架中。此外，我们研究了这一想法对于声明式编程与约束编程合成的语法、语义和操作影响。
引用
@article{arxiv.cs/0511090,
title = {Integration of Declarative and Constraint Programming},
author = {Petra Hofstedt and Peter Pepper},
journal= {arXiv preprint arXiv:cs/0511090},
year = {2007}
}
备注
30 pages, 9 figures, To appear in Theory and Practice of Logic Programming (TPLP)