Abstract FR:

Dans ce travail nous presentons une formalisation des operateurs de controle de prolog. Cette formalisation permet l'etude de la strategie depth-first adoptee pour l'interpretation de ce langage, et notamment du role de l'operateur de coupure cut. Nous montrons que cet operateur cut peut etre elimine dans les programmes en clauses de horn au profit d'un nouvel operateur cond analogue a l'alternative si alors sinon des langages classiques. Cette formalisation nous permet egalement d'etablir une semantique du type point fixe pour prolog ; et d'indiquer un ensemble de regles de transformations de programmes. Enfin nous utilisons ce modele abstrait comme reference pour l'etude top-down d'un compilateur prolog