Implementing Computational Systems with Constraints

The paper presents a framework to describe, experiment and study the combination of diierent computational systems including the constraint solving paradigm. Computational systems are interpreted in a rst-order setting thanks to an evaluator that rewrites formulas.