Abstract FR:

Proposition d'un cadre formel permettant une etude detaillee du probleme, puis d'une simplification de celui-ci en vue d'une implementation. Sa mise en uvre est ensuite exposee, suivie d'une evaluation de ses performances aussi bien vis-a-vis de prolog que des autres methodes de backfracking intelligent. Apres un etat de l'art des differentes recherches en programmation logique parallele, il est propose d'integrer du backfracking intelligent aux deux techniques de parallelisation les plus prometteuses