Parallélisme dans une machine base de connaissances Prolog

Parallelism in a prolog knowleage base machine

• 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 (Grenoble ; 1989-2006)

Mots clés

Mots clés contrôlés

Appareils et matériel

Bases de données -- Gestion

Multiprocesseurs

Parallélisme (informatique)

Prolog (langage de programmation)

Mots clés libres

Sciences appliquees

Informatique

Automatique theorique

Systemes

Prolog

Parallelisme

Architecture ordinateur

Multiprocesseur

Simulation

Base connaissance

Interpretation

Langage programmation

Modelisation

Validation

Opale

Occam

Clause exterieur

Prolog

Parallelism

Computer architecture

Multiprocessor

Simulation

Knowledge base

Interpretation

Programming language

Modeling

Validation

External clause

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'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é