Machines spécialisées et programmation en logique

Résumé : 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
Document type :
Habilitation à diriger des recherches
Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG, 1988


https://tel.archives-ouvertes.fr/tel-00330527
Contributor : Thèses Imag <>
Submitted on : Tuesday, October 14, 2008 - 4:19:43 PM
Last modification on : Tuesday, October 14, 2008 - 4:20:47 PM

Identifiers

  • HAL Id : tel-00330527, version 1

Collections

CNRS | UGA

Citation

Gilles Berger Sabbatel. Machines spécialisées et programmation en logique. Modeling and Simulation. Institut National Polytechnique de Grenoble - INPG, 1988. <tel-00330527>

Export

Share

Metrics

Consultation de
la notice

54

Téléchargement du document

15