Towards a Configuration Specification Language Based on Constraints Logic Programming

Mahmoud Rafea

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.


This page is copyrighted by AAAI. All rights reserved. Your use of this site constitutes acceptance of all of AAAI's terms and conditions and privacy policy.