Introduction to the constraint language NCL - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Logic Programming Year : 2000

Introduction to the constraint language NCL


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.
Not file

Dates and versions

inria-00099184 , version 1 (26-09-2006)


  • 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⟩
352 View
0 Download


Gmail Facebook Twitter LinkedIn More