login
english version rss feed
Detailed view Habilitation à diriger des recherches
Institut National Polytechnique de Grenoble - INPG (29/06/1988), Jacques Mossière (Pr.)
Attached file list to this document: 
PDF
Berger-Sabbatel.Gilles_1988_these.pdf(26.4 MB)
Machines spécialisées et programmation en logique
Gilles Berger Sabbatel1

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
1:  IMAG - Institut d'Informatique et de Mathématiques Appliquées de Grenoble
machines spécialisées – programmation en logique – machines base de données – unification

Specialized machines and logic programming

all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...