Thèse soutenue

Parallélisme dans une machine base de connaissances Prolog
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Weidong Dang
Direction : Bernard Courtois
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1987
Etablissement(s) : Grenoble INPG
Partenaire(s) de recherche : Laboratoire : Institut d'informatique et mathématiques appliquées (Grenoble1989-2006)

Résumé

FR

Un modèle d'interprétation parallèle de Prolog basé sur la notion de processus est défini. En introduisant un type d'architecture 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 parallèle 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é