Abstract FR:

Un modele d'interpretation repartie du langage prolog prenant en compte les parallelismes et et ou est presente. Un systeme de simulation a ete ecrit afin de valider les concepts fonctionnels. Des resultats statiques: taille de l'espace memoire occupe, taille des messages, temps d'execution et des resultats dynamiques: nombre de processeurs actifs sont donnes. Une specification fonctionnelle du processeur elementaire constitue de deux unites: une pour la resolution et l'autre pour l'unification traduit les concepts fonctionnels du modele. Une comparaison des performances de la machine est presentee afin de determiner le meilleur compromis topologique. La structure reguliere et incrementale de l'hypercube, son faible diametre en font un bon candidat. Enfin, l'orientation du domaine d'application de la machine vers les bases de connaissances a provoque la prise en compte de nouvelles fonctionnalites