I am one of the designers and implementors of the ECLiPSe Constraint Logic Programming System (http://eclipseclp.org), a system that specialises in combinatorial problem solving, and is also one of the leading implementations of the Prolog programming language.