Implementing Computational Systems with Constraints.
Claude Kirchner, Claude Kirchner, Marian Vittek · 1993
The paper presents a framework to describe, experiment and study the combination of different computational systems including the constraint solving paradigm. Computational systems are interpreted in a first-order setting thanks to an evaluator that rewrites formulas.