J'utilise également SWI-Prolog et ECLiPSe. J'ai appris à utiliser prolog avec SWI-Prolog, et je fais un peu de programmation par contrainte avec ECLiPSe qui est plus performant que SWI dans le cadre...