Ask HN: Do you use an optimization solver? Which one? Do you like it? 4 years ago
Prolog and CLP is an interesting and powerful combination as documented here: https://www.metalevel.at/prolog/optimization. In particular the CLPZ library is very powerful: https://github.com/triska/clpz.