Abstract FR:

Introduction des notions de parallélisme en programmation logique avec une discussion sur les approches principales dans ce domaine. Les détails de la machine abstraite développée sont ensuite présentés. Elle fait appel aux techniques de compilation des implantations séquentielles de prolog. Elle propose des solutions pratiques, d'une part, pour la gestion des environnements multiples utilisant des "hash windows" et , d'autre part pour implanter le contrôle et les synchronisations nécessaires.