Track:
Contents
Downloads:
Abstract:
In this paper, we concentrate on describing a configuration specification language suitable for most of configuration problems. The language and the generated configuration task code are based on the key-component approach. The implementation of the language is based on the CLPFD library of SICStus Prolog. The language consists of a number of Prolog clauses, which are compiled into CLPFD constraints. The problem solver is the engine of the Constraint Logic Programming Finite Domain (CLPFD). challenging configuration example from the classics is used to demonstrate the efficiency of the language implementation.