Parallélisme dans une machine base de connaissances Prolog

by Weidong Dang

Thèse de doctorat en Informatique

Sous la direction de Bernard Courtois.

Soutenue en 1987

à Grenoble INPG , en partenariat avec Institut d'informatique et mathématiques appliquées (Grenoble) (autre partenaire) .


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

  • Titre traduit

    Parallelism in a prolog knowleage base machine


  • Pas de résumé disponible.

Consulter library

La version de soutenance existe sous forme papier

Informations

  • Détails : 168 f.
  • Annexes : Bibliogr. p. 159-168

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS 87/INPG/0004
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1987-DAN
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : DANG p
  • Bibliothèque : Centre de recherche INRIA Sophia Antipolis - Méditerranée (Sophia ANtipolis). Service IST.
  • Disponible pour le PEB
  • Cote : TM20
  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Disponible pour le PEB
  • Cote : G2A 279/1987/DAN.PAR
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.