2 research outputs found
CLP(PB) - A Meta-Interpreter in CLP(R)
Constraint logic programming is one of the most attractive research areas in logic programming. Due to (J. Jaffar, 1987) the theoretical foundation of a general constraint logic programming language scheme CLP({{}}) is available. Unfortunately, implementing a CLP({{}}) system for some domain {} is a difficult task. The problematic points are providing a {\it constraint solver} and ensuring the {\it incrementality} of the constraint system. We propose here to use an existing CLP system as implementation environment for a new CLP language. We show that under certain conditions we can use the given constraint solver as constraint solver for the new CLP-language. We focus here on prototyping CLP({{}}), where {} denotes the structure of pseudo-Boolean functions, in CLP({{}}), where {} denotes the structures of real numbers