<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Salut Noury,<div><br></div><div>Pour ma part j'ai tenté (sans succès pour le moment) d'intégrer SWI-prolog à partir de l'interface C dans VW.</div><div>SWI-prolog est très puissant et rapide.</div><div>Annick <br><div><div>Le 23 oct. 08 à 08:05, Noury Bouraqadi a écrit :</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>Salut Cédric,<br><br>On 21 oct. 08, at 14:52, Cédrick Béler wrote:<br><br><blockquote type="cite">Noury, peux tu me donner quelques infos ? J'ai actuellement deux versions dans mon image, l'ancienne (BT-ggf.30) et la nouvelle (BTNG-noury.2).<br></blockquote><blockquote type="cite"><br></blockquote>BT est buggué à mort. Guillaume (alias ggf) a passé du temps sur la version VisualWorks pendant son portage à Squeak, mais elle était buggué. D'après les auteurs de BT, la version que nous avons eu n'est pas la dernière, mais ils n'ont pas trouvé la version finale. Finalement, nous avons décidé de jeter l'éponge et j'ai commencé BTNG. D'autant plus qu'il y avait usage de variables globales qui interdisent d'avoir deux instances de CSP en même temps.<br><br><blockquote type="cite">Est ce que les plans sont de "porter" au fur et a mesure les éléments de l'ancienne implémentation sur la nouvelle ? As tu fait des choix de conception différent ?<br></blockquote><blockquote type="cite"><br></blockquote>J'ai tout jeté et j'ai commencé par écrire des tests. L'idée est de partir du papier et de s'affrancehir de l'implantation existante. Je n'ai rien repris, mais on pourrait...<br><br><blockquote type="cite">Me concernant, ce n'est pas vraiment l'aspect résolution qui compte mais la propagation (AC) et l'ajout dynamique de contraintes et éventuellement le retrait (plus dur - je pense que les continuations pourraient aider ici...). J'ai vu quelques éléments qui semble correspondre mais bon.. Je suis aussi intéressé par la partie scheduling.<br></blockquote><blockquote type="cite"><br></blockquote>Je me suis focalisé sur la partie contraintes. Il y a toute la hiérarchie de solveurs à faire avec les questions de propagation.<br><br><blockquote type="cite">Tout ca pour dire que je suis intéressé pour contribuer à BackTalk... ;)<br></blockquote><br>Super. Je t'ai ajouté comme développeur.<br><br><blockquote type="cite"> Bien plus agréable de browser des classes senders et autres que de lutter avec Eclipse ;) (Choco à l'air assez complet ceci dit... <a href="http://www.emn.fr/x-info/choco-solver/doku.php?id=)">http://www.emn.fr/x-info/choco-solver/doku.php?id=)</a><br></blockquote><blockquote type="cite"><br></blockquote>Oui. Choco semble être une référence dans le monde Java. Le gros soucis est que c'est du Java :-)<br>Un des trucs sympa dans BT que j'ai dû implanté est la notion de contrainte block. La condition à vérifier est exprimée sous forme de block, ce qui simplifie la vie pas mal.<br><br>Noury<br>------------------------------------------------------------------<br>Dr. Noury Bouraqadi - Enseignant/Chercheur<br>Responsable de l'enseignement de l'informatique<br>ARMINES - Ecole des Mines de Douai - Dept. I.A.<br><a href="http://vst.ensm-douai.fr/noury">http://vst.ensm-douai.fr/noury</a><br><br>European Smalltalk Users Group Board<br>http://www.esug.org<br>------------------------------------------------------------------<br><br><br><br>_______________________________________________<br>Squeak-fr mailing list<br>Squeak-fr@lists.squeakfoundation.org<br>http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/squeak-fr<br><br></div></blockquote></div><br><div apple-content-edited="true"> <span class="Apple-style-span" style="border-collapse: separate; border-spacing: 0px 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-align: auto; -khtml-text-decorations-in-effect: none; text-indent: 0px; -apple-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><div style="word-wrap: break-word; -khtml-nbsp-mode: space; -khtml-line-break: after-white-space; "><span class="Apple-style-span" style="border-collapse: separate; border-spacing: 0px 0px; color: rgb(0, 0, 0); font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; text-align: auto; -khtml-text-decorations-in-effect: none; text-indent: 0px; -apple-text-size-adjust: auto; text-transform: none; orphans: 2; white-space: normal; widows: 2; word-spacing: 0px; "><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">=================</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">Annick Fron - 04 93 22 88 18</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">AFC Europe</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">B.P. 111</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">977 avenue du Docteur Julien Lefebvre</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica">06271 Villeneuve-Loubet Cedex France</font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><font face="Helvetica" size="3" style="font: 12.0px Helvetica"><a href="http://www.afceurope.com">http://www.afceurope.com</a></font></p><p style="margin: 0.0px 0.0px 0.0px 0.0px">Livre "Architectures Reparties en Java" paru le 3/10/07</p><p style="margin: 0.0px 0.0px 0.0px 0.0px"><a href="http://www.dunod.com/pages/ouvrages/ficheouvrage.asp?id=51141">http://www.dunod.com/pages/ouvrages/ficheouvrage.asp?id=51141</a></p><br class="Apple-interchange-newline"></span></div></span> </div><br></div></body></html>