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.

CLP(FD) and CLP(Z) would be worth checking: https://www.metalevel.at/prolog/clpz.