NCL
Natural Constraint Language. From its home page:
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.