Programmation Par Contraintes by Pascal Van Hentenryck

[triska]

Hi all,

there is an interesting new paper about Alain Colmerauer and Constraint Programming (CP):

https://bpb-us-w2.wpmucdn.com/sites.gatech.edu/dist/3/865/files/2023/10/AlainColmerauer.pdf

I hope that this serves as an inspiration for someone to add similar constraints to Scryer Prolog, notably linear constraints over rational numbers as implemented in Christian Holzbaur's CLP(Q) system which ships with SICStus Prolog. This could also make for an excellent thesis project.

All the best,
Markus