Salut Noury,
Pour ma part j'ai tenté (sans succès pour le moment) d'intégrer SWI- prolog à partir de l'interface C dans VW. SWI-prolog est très puissant et rapide. Annick Le 23 oct. 08 à 08:05, Noury Bouraqadi a écrit :
Salut Cédric,
On 21 oct. 08, at 14:52, Cédrick Béler wrote:
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).
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.
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 ?
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...
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.
Je me suis focalisé sur la partie contraintes. Il y a toute la hiérarchie de solveurs à faire avec les questions de propagation.
Tout ca pour dire que je suis intéressé pour contribuer à BackTalk... ;)
Super. Je t'ai ajouté comme développeur.
Bien plus agréable de browser des classes senders et autres que de lutter avec Eclipse ;) (Choco à l'air assez complet ceci dit... http://www.emn.fr/x-info/choco-solver/doku.php?id=)
Oui. Choco semble être une référence dans le monde Java. Le gros soucis est que c'est du Java :-) 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.
Noury
Dr. Noury Bouraqadi - Enseignant/Chercheur Responsable de l'enseignement de l'informatique ARMINES - Ecole des Mines de Douai - Dept. I.A. http://vst.ensm-douai.fr/noury
European Smalltalk Users Group Board http://www.esug.org
Squeak-fr mailing list Squeak-fr@lists.squeakfoundation.org http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/squeak-fr
================= Annick Fron - 04 93 22 88 18 AFC Europe B.P. 111 977 avenue du Docteur Julien Lefebvre 06271 Villeneuve-Loubet Cedex France http://www.afceurope.com Livre "Architectures Reparties en Java" paru le 3/10/07 http://www.dunod.com/pages/ouvrages/ficheouvrage.asp?id=51141