1) AKL (Agents Kernel Language) Concurent CPL
a. http://www.sics.se/isl/akl/
2) B-Prolog, a versatile and efficient constraint logic programming (WLU, SOLARIS, SUN)
3) CHIP V5 - the Second-Generation Constraint Programming tool: now available on UNIX, Linux and Windows NT/2000 platforms
a. http://www.cosytec.com/production_scheduling/chip/optimization_product_chip.htm
4) CLAIRE: high-level functional and object-oriented language with advanced rule processing capabilities.
a. http://claire3.free.fr/description.htm
5) CLiXML – Constraint Language in XML
6) clp(FD,S) - semiring-based constraint logic programming language over finite domains
a. http://contraintes.inria.fr/~georget/software/clp_fds/clp_fds.html
7) DJ : A Java-based Constraint Language and System
a. http://www.icot.or.jp/ARCHIVE/Museum/FUNDING/98/13/13.html
8) Dresden OCL Toolkit - A modular OCL (Object Constraint Language) toolkit
a. http://sourceforge.net/projects/dresden-ocl
9) GNU Prolog
a. http://sourceforge.net/projects/gprolog
10) NCL: Natural Constraint Language
a. http://www.enginest.com/NCL.htm
11) Real Paver: C based modeling Language
a. http://www.sciences.univ-nantes.fr/info/perso/permanents/granvil/realpaver/main.html
12) The Mozart Programming System