Abstract FR:

Etude de l'implantation du langage concurent prolog qui est un langage de prommagation en logique crée par E. Shapiro. Description des diverses possibilités d'intégration du parallélisme à la programmation en logique. Présentation des langages utilisant le parallélisme par flots. Implantations successives du langage concurrent prolog. Méthodologie de programmation et exemple détaillé d'utilisation du langage