Machines spécialisées et programmation en logique - TEL - Thèses en ligne Access content directly
Habilitation À Diriger Des Recherches Year : 1988

Specialized machines and logic programming

Machines spécialisées et programmation en logique

Abstract

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
Fichier principal
Vignette du fichier
Berger-Sabbatel.Gilles_1988_these.pdf (26.69 Mo) Télécharger le fichier

Dates and versions

tel-00330527 , version 1 (14-10-2008)

Identifiers

  • HAL Id : tel-00330527 , version 1

Cite

Gilles Berger Sabbatel. Machines spécialisées et programmation en logique. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1988. ⟨tel-00330527⟩

Collections

UGA CNRS TDS-MACS
125 View
34 Download

Share

Gmail Facebook X LinkedIn More