Natural Constraint Language. From its home page:
<blockquote>
The principal goal of designing NCL is to provide programmers with a *(constraints) *(programming language), which is fast to learn and easy to use, for declaratively solving a large scope of combinatorial problems. NCL combines Boolean _(logic), integer constraints and set reasoning over finite domains. Concering its syntax, NCL fully adopts mathematical notations and provides literate-style solutions. Concerning constraint handling capability, logical and _(meta-) controls such as quantification, search strategy, logical switch, multi-criteria optimization, and meta expression are introduced in a natural and flexible fashion.
</blockquote>

<ul class="implementations">
  <li>_("The home page of NCL"|http://www.loria.fr/~zhou/ziran.html).</li>
</ul>
