En cours, on a utilisé "ECLiPSe" (http://87.230.22.228/features.html) qui est un framework pour la programmation par contraintes "largely backward-compatible with Prolog"



Et donc, c'est celui...