X-TRA un moteur d'inference comportant deux modes de compilation de regles TREAT ou RETE et un systeme de maintien de verite de type ATMS