A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking

Abstract

We propose an implementation of constraint solving over nite domains, as pioneered by CHIP, on top of any Prolog system that provides a delay mechanism and backtrackable assignment. The aim is to propose a simple, portable, easily-maintenable, but yet eecient package. The performances of our system are of the same order of magnitude than a "wired… (More)

Topics

Cite this paper

@inproceedings{Codognet1991AMC, title={A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking}, author={Philippe Codognet and François Fages and Thierry Sola}, booktitle={WCLP}, year={1991} }