Hacker News new | ask | show | jobs
by sits 2078 days ago
CLP(FD) and CLP(Z) would be worth checking: https://www.metalevel.at/prolog/clpz.