Combining partial evaluation and constraint solving: a new approach to constraint logic programming

Abstract

It is argued that constraint logic programming (CLP) systems can be built 'loosely' by separating a system into independent parts to avoid some repeated processing, and thus to increase further the efficiency of CLP systems. An architecture scheme is presented. Systems based on the architecture have desirable modularity. The system Conslog is described as an instance of the scheme. Conslog consists of two independent parts: a partial evaluator to carry out logical inferences and a solver in finite domains. The efficiency and behavior of the system are shown on a cryptarithmetic problem. The system is extensible.<>