Contribution à l'étude de la programmation logique par les graphes orientés pondérés

L'etude de la complexite de programmes logiques ne peut pas se fonder sur des criteres uniques syntaxiques. C'est donc sur des criteres semantiques lies a la notion d'attributs, de programmes diriges par les donnees que l'approche se base pour enoncer une hierarchie syntaxique de programmes pour lesquels il est possible de decider de l'arret et de la complexite en temps d'execution ainsi qu'en espace. Des methodes de calcul automatique pour une classe restreinte de programmes et semi-automatique pour une classe beaucoup plus large sont enoncees.