Machines spécialisées et programmation en logique

L'objet de cette thèse est la conception de systèmes informatiques bases sur des unités spécialisées dans des fonctions ou des types de traitement particulier. Nous nous intéressons plus particulièrement a la programmation en logique comme type de langage d'un tel système. L'intérêt des machines spécialisées et les problèmes de communication et de coopération dans un système a unités spécialisées (distribution fonctionnelle) sont d'abord discutes. Nous nous intéressons ensuite aux machines bases de données, en présentant le projet Opale, qui vise à la conception d'une machine bases de données adaptée au traitement des connaissances. Les deux points essentiels de ce projet sont la définition d'une stratégie de recherche orientée vers le traitement d'ensembles de solutions, et un algorithme, implementable en matériel, permettant d'unifier des ensembles de buts avec des termes lus sur disque, ceci en suivant le débit de transfert du disque. Enfin, nous abordons le problème général de la conception de machines pour la programmation en logique. Diverses approches sont présentées et discutées à partir de mesures et évaluations sur l'activité d'un interpréteur Prolo