Abstract FR:

Presentation d'un algorithme de simplification de systemes de contraintes constitues d'equations et de contraintes de longueur. Dans ces systemes, chaque occurrence de l'operation de concatenation est necessairement accompagnee d'une contrainte de longueur fixant la longueur de son operande gauche. Par des reecritures successives, le systeme de contraintes a traiter est amene soit a prendre une forme simplifiee, soit a trahir son insolubilite. Ce travail s'est concretise par l'implantation de l'algorithme de simplification a l'interieur d'un interpreteur du langage prolog iii