Abstract FR:

Le travail a ete realise selon une demarche visant a considerer un moteur d'inference sous la forme d'une machine abstraite de haut reseau. La definition precise du langage de specification de moteurs d'inference a permis l'implementation d'une premiere version. Elle est deja utilisee pour l'etude comparative de diverses strategies sur des cas d'ecole