Une technique de backtracking intelligent, basée sur un algorithme d'unification étendu et sur la datation du processus de résolution