Abstract FR:

Definition d'une methode d'interpretation parallele pour un sous ensemble de prolog, appele datalog. Ce langage est considere comme reference pour les systemes de gestion de bases de donnees deductifs. La methode d'interpretation proposee permet d'associer a un programme datalog un reseau de processus determine statiquement