CPLEX is one of the best MIP (mixed integer) solvers out there. They also have a "CP" constraint programming solver as well. If I needed to solve that kind of p

CPLEX is one of the best MIP (mixed integer) solvers out there. They also have a "CP" constraint programming solver as well. If I needed to solve that kind of problem, I'd just call out to the CPLEX API. As much as I love things like Prolog, it's always been easier to me to have an application mostly be written in a popular language (C#, Python, Java..etc) using more traditional programming techniques (OO) and call out to a specific solver for just the tiny piece I need that does the optimization. If there is a Prolog out there that works for your problem set, you can use the same strategy, but you'd have to learn logic programming which is challenging in my eyes (and likely those of many). Prolog is seriously cool though.