Introduction to the constraint language NCL

Jianyang Zhou 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : The design, implementation and application of a natural constraint language NCLare presented. At the solver level, to support the solving of a large scope of combinatorial problems, a rich set of conventional constraints is defined within a constraint framework that strongly combines Boolean logic, integer constraints and set reasoning over finite domains. The basic computation model for solving conjunctions of elementary constraints with possible existential and universal quantifications is described using rewrite rules. At the language level, to upgrade the expressive power, a natural syntax (context-dependent), which completely adopts mathematical notations, is designed. To enhance the constraint handling capability, quantification, logical switch, referencing mechanism, global/dynamic constraints, meta expressions, multi-criteria optimization, and search specifications are cooperatively introduced in a single constraint system. Compared to existing modeling languages, a strong feature of NCLis: Data, constraints and control are fully integrated and are clearly separable. Especially, though NCLdeals with several data types such as Boolean, integer, set, index, reference, array and tuple, there is no need to declare data explicitly. This context-sensitive data typing makes NCLprograms direct, concise and liberal.
Type de document :
Article dans une revue
Journal of Logic Programming, 2000, 45 (1-3), pp.71-103
Liste complète des métadonnées
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:51:35
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58


  • HAL Id : inria-00099184, version 1



Jianyang Zhou. Introduction to the constraint language NCL. Journal of Logic Programming, 2000, 45 (1-3), pp.71-103. 〈inria-00099184〉



Consultations de la notice