Abstract FR:

La premiere partie de cette these integre dans le langage modulog certains resultats recents de la recherche sur les langages a objets et propose une nouvelle definition des objets en programmation logique. La deuxieme partie porte sur la parallelisation de l'interpreteur modulog. Un modele ensembliste est retenu comme support rigoureux de l'heritage. Le langage modulog#o autorise la definition de classe et de l'heritage multiple. Modulog#o definit la notion d'objet mutable en programmation logique. Les classes peuvent declarer un invariant utilisant l'unification retardee sur les variables libres. Outre la selection classique des methodes, modulog#o utilise le principe de retraction. L'unification est etendue et repose sur le calcul de la borne inferieure de deux classes d'objets. Les extensions sont decrites par une semantique operationnelle en regles inductives. L'interpretation de ces regles transcrites en prolog fournit un prototype de l'interpreteur modulog#o. Une premiere implantation en langage imperatif est egalement developpee. La parallelisation utilise les modeles en et-restreint et ou appliques aux buts des queues de clauses du programme modulog. L'architecture parallele utilisee est de type mimd a memoire locale. Les etudes menees montrent un gain notable en performance si l'on adopte un parallelisme explicite. La comparaison est faite avec le parallelisme implicite