Abstract FR:

Au cours de ce travail, nous avons adapte un langage de type declaratif (prolog) sur une machine multi-processeur (transputers). Pour cela nous avons ete amene a developper un schema de cooperation entre interpreteurs prolog, base sur les techniques de parallelisation. En effet, les langages declaratifs en general, et les langages bases sur la programmation logique en particulier, sont intrinsequement paralleles et offrent des possibilites tres interessantes. Le schema de cooperation ainsi defini est base sur des interactions entre les differents interpreteurs distribues sur un reseau de transputers. La resolution d'un probleme est guidee par les donnees car la base de connaissance est totalement repartie entre les differents interpreteurs. La communication utilisee est de type envoi de messages en mode asynchrone. Nous avons ensuite realise l'implantation du schema sur un reseau de transputers en utilisant comme langage de developpement le langage c parallele. Les options que nous avons choisies etaient de ne pas trop nous eloigner de la philosophie de prolog pur, en favorisant plutot la transparence vis-a-vis de l'utilisateur que le parallelisme a granularite maximale. La deuxieme partie de notre travail consistait a etendre le schema de cooperation vers un outil d'intelligence artificielle distribuee. Nous avons commence par une etude d'un modele de cooperation d'agents base sur des techniques d'iad. Pour tester ce modele nous avons fait une etude d'implantation sur une architecture a base de transputers