Automatic Generation of CHR Constraint Solvers
计算机科学中的逻辑
2007-05-23 v1 编程语言
摘要
In this paper, we present a framework for automatic generation of CHR solvers given the logical specification of the constraints. This approach takes advantage of the power of tabled resolution for constraint logic programming, in order to check the validity of the rules. Compared to previous works where different methods for automatic generation of constraint solvers have been proposed, our approach enables the generation of more expressive rules (even recursive and splitting rules) that can be used directly as CHR solvers.
引用
@article{arxiv.cs/0409030,
title = {Automatic Generation of CHR Constraint Solvers},
author = {Slim Abdennadher and Christophe Rigotti},
journal= {arXiv preprint arXiv:cs/0409030},
year = {2007}
}
备注
to be published in Theory and Practice of Logic Programming, 16 pages, 2 figures