Un système Prolog parallèle pour machines à mémoire distribuée
Cette thèse est consacrée a l'étude de l'implantation du langage Prolog sur les architectures parallèles Mimd sans mémoire commune. Nous présentons le modèle opéra qui exploite implicitement le parallélisme ou le Prolog pour repartir dynamiquement l'évaluation des programmes sur les d...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1992
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00341008 http://tel.archives-ouvertes.fr/docs/00/34/10/08/PDF/Favre.Michel_1992_these.pdf |