Hello, Donc dans le labo ou je suis maintenant (Mines d'Albi), ils utilisent la propagation de contrainte pour faire de la configuration interactive de produit. On est dans une phase de recherche et d'études des outils existants. Globalement, Ilog (proprio), Eclipse-csp (prog logique) et Choco (Java). Ils ont aussi leur version en Perl mais apparemment limitée.
Maintenant que je vois un peu mieux ce qu'est un CSP, j'ai (re)jeté un oeil sur backtalk.
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).
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 ?
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.
Tout ca pour dire que je suis intéressé pour contribuer à BackTalk... ;) 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=)
A plus,
Cédrick
On 17 mai 08, at 21:44, stephane ducasse wrote:
noury m'a dit qu'il ne s'agit pas de la derniere version de backtalk
(il n'est pas arrive a mettre la meme dessus) Et celle la semble un peu buggee.
Oui, effectivement. Du coup, j'ai commencé à envisager une nouvelle
implantation que j'ai baptisé BackTalkNG. Elle n'en est qu'au début. Globalement, je n'ai fait que les contraintes binaire. Je viens de la mettre sur le squeaksource. Le fichier étant petit, je le joins à ce mail.
Have fun, Noury
stef
On May 17, 2008, at 3:27 PM, Stéphane Rollandin wrote:
Salut à tous,
Je m'intéresse un peu à la programmation par contraintes en ce moment, et j'ai téléchargé la dernière version de BackTalk sur SqueakSource. Elle date de février 2007. Quel est son statut ? Est-ce un système directement utilisable ? Est-il toujours en développement ?
merci,
Stef
Squeak-fr mailing list Squeak-fr@lists.squeakfoundation.org http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/squeak-fr
Squeak-fr mailing list Squeak-fr@lists.squeakfoundation.org http://lists.squeakfoundation.org/cgi-bin/mailman/listinfo/squeak-fr
Noury Bouraqadi
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
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 ------------------------------------------------------------------
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
squeak-fr@lists.squeakfoundation.org
-
Annick Fron -
Cédrick Béler -
Noury Bouraqadi