[Squeak-fr] Re: BackTalk (suite)

[Annick Fron]

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 at 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


-------------- section suivante --------------
Une pièce jointe HTML a été enlevée...
URL: http://lists.squeakfoundation.org/pipermail/squeak-fr/attachments/20081023/01e74dd7/attachment.htm