Abstract FR:

Presentation d'un algorithme, base sur la s. L resolution, qui essaie de traiter les problemes de production pour des exemples assez importants et non triviaux quant a la forme des regles. Les performances de l'algorithme ont ete ameliorees grace a l'introduction de strategies generales de production, a l'utilisation particuliere des clauses binaires et a des proprietes de coupure