Publications

Thèses


< retour aux thèses

« Parallélisme dans une machine base de connaissances Prolog ».

Auteur : W. Dang
Directeur de thèse : G. Berger Sabbatel
These de Doctorat Institut National Polytechnique de Grenoble - INPG
Spécialité : informatique
Soutenance : 03/07/1987
Pages : [no pag.]

Résumé

Un modèle d’interprétation parallèle de PROLOG basé sur la notion de processus est défini. En introduisant un type d’architectre nommée architecture orientée processus, l’exécution du modèle dans un environnement multiprocesseurs est étudiée. Une expérimentation par simulation en langage OCCAM, en vue de valider le modèle et son exécution dans une architecture multiprocesseurs, est décrite. Finalement, un système PROLOG avec la capacité de manipuler des clauses extérieures à la mémoire centrale est présenté.