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 Prolog
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00330527 |
Date | 29 June 1988 |
Creators | Berger Sabbatel, Gilles |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | habilitation ࠤiriger des recherches |
Page generated in 0.0029 seconds