Contribution à l'intégration de C++ et de Prolog à travers la machine abstraite de Warren le système cop-compilé

Ce mémoire présente le système COP-Compilé. C'est un système permettant l'intégration de la programmation procédurale en C++ et de la programmation logique en Prolog. Le noyau de ce système est un compilateur de Prolog basé sur la machine abstraite de Warren (WAM). Cette machine qui définit une organisation de la mémoire, un ensemble de registres et un jeu d'instructions adaptés à Prolog, est actuellement la référence par excellence dans le domaine d'implantation de compilateurs Prolog. Ce projet de recherche s'insère dans le cadre d'une série de travaux qui visent à rapprocher la programmation procédurale et la programmation logique. L'objectif principal de ce projet est d'augmenter la performance d'une première version d'un compilateur réalisant l'intégration des deux styles de programmation où le code Prolog était interprété. Le système COP-Compilé a réussi à augmenter la performance du système COP original et à améliorer ses possibilités en diminuant son temps d'exécution et en étendant les programmes Prolog qu'il est capable de reconnaître