S Luc a écrit :

S Luc a écrit :

Bonsoir,

J'aimerais savoir s'il existe un framework en C++ pour faire de la programmation par contraintes (comme Choco en java)... où alors s'il est possible d'interfacer du prolog avec une appli codée en C/C++.
J'ai entendu parlé d'ilog solver mais c'est apparemment du commercial. Sinon, tanpis je me tournerais vers java ;o(

Merci.

C'est bon, j'ai trouvé mon bonheur sur
http://www.4c.ucc.ie/web/archive/solver.jsp

Bonne nuit à tous !

Bonjour,

Quand j'étais en maitrise (il y a 2 ans ;p) on nous a fait programmer par contrainte avec un logiciel commercial : Chip C++, de Cosytec, qui est semblable à ilog solver.

Plus récemment (DEA) on nous a évoqué les noms de CHOCO, ALICE, Gnu-Prolog, Prolog V.

Ca peux donner des pistes.

Régis