Constraint Logic

Constraint logic programming language with the abilities of CLP(BNR) and most of those of cc(FD). Possibility to program directly in projection constraints makes Nicolog more flexible than many CLP systems. FTP site.

Constraint logic programming (CLP) based language. Backtracking, advanced data types (including "Bignum") and data structures. IDE/Compiler for Windows 2000/XP/Vista/W7.

Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics that is implemented as an interpreter in Standard ML.

Home page of the CHR hosted constraint logic programming language. CHR is a toolkit for in effect building constraint solvers. It is most commonly hosted on Prolog but Java-, Haskell- and even C-hosted versions are available.