Résumé: Le travail présenté dans ce document est une contribution à la parallélisation d'un programme logique avec contraintes (CLP) visant l'accélération de la résolution par un traitement simultané sur différentes unités de traitement.. L'idée de la CLP est de combiner la simplicité et la déclarativité de la programmation logique à la puissance et l'efficacité des systémes de résolution de contraintes. La CLP permet donc d'utiliser des domaines de calculs particuliers, tels les contraites arithmétiques rationnelles, réelles ou même complexes, les formules booléennes, les domaines finis... etc. Nous présentons ainsi un état de l'art approfondies et sur cette base nous avons opté en premier lieu pour les domaines finis qui sont trés utiles dans de nombreues applications industrielles. Ces domaines utilisent comme méthode de résolution : les techniques de consistance dont sont basés les algorithmes d'Arc consistance. Les versions AC-1, AC-2, AC-3, AC-4, AC-6 et AC-7 on été présentées, étudiées et comparées pour définir l'algorithmz lz plus optimal.

Alger:
Langue: Français
Collation: 99 p. ill. ;30 cm.
Diplôme: Magister
Etablissement de soutenance: Alger, Université des Sciences et de la Technologies Houari Boumediene. Faculté d'Electronique et d'Informatique
Spécialité: Intelligence Artificielle
Index décimal 621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème Informatique

Mots clés:
Programmation logique
domaines finis

Note: Bibliogr.pp.92-99