Abstract FR:

La relation entre programmation logique et grammaires attribuees est reprise de travaux precedents et adaptee de maniere a etre utilisee par la suite. Une premiere application concerne le test d'occurrnce. Une nouvelle propriete des annotations propres est etablie et un algorithme polynomial de determination de ces annotations est elabore. Ceci fournit un test efficace d'appartenance a une large classe de programmes non sujets au test d'occurence (nsto). Puis, une amelioration supplementaire est obtenue par une methode basee sur une transformation de programme. Ensuite, on effectue une comparaison entre, d'une part, l'execution de prolog par l'intermediaire de la machine abstraite de warren et, d'autre part, l'evaluation des attributs par le systeme fnc2. Il en ressort qu'un programme logique peut beneficier des optimisations elaborees sur les evaluateurs d'attributs s'il possede une propriete dite de decoration. Ceci nous amene a introduire la notion d'arguments decisifs d'un programme logique. Un algorithme polynomial de determination de ces arguments est construit, ce qui apporte la possibilite d'applications pratiques