;
--------------------------------------------------------------------------------

DEMONSTRATION issue de la REGLE : QUI_VA_LE_PLUS_VITE

SUBSTITUTION : (Y1) par 180
               (Y2) par 120
               (X1) par moto1
               (X2) par moto2

FAITS DEDUITS : 

moto1 PLUSRAPIDE moto2

-----------------------------------------  INFERENCE :       1  ----------------

--------------------------------------------------------------------------------

DEMONSTRATION issue de la REGLE : QUI_EST_PLUS_PRIORITAIRE

SUBSTITUTION : (Y1) par 5
               (Y2) par 6
               (X1) par moto2
               (X2) par moto1

FAITS DEDUITS : 

moto2 PLUSPRIOR moto1

-----------------------------------------  INFERENCE :       2  ----------------

********************************************************************************

                      INFERENCES 
                      ---------- 

--------------------------------------------------------------------------------
          Nombre d'inferences                      :        2

          Duree de chargement de la Base Compilee  :     0.00 s
          Duree de chargement de la Base de Faits  :     0.00 s
          Duree de l'execution des inferences      :     0.00 s
          Duree totale                             :     0.00 s
--------------------------------------------------------------------------------

                      BASE DE FAITS FINALE 
                      -------------------- 

--------------------------------------------------------------------------------
          Nombre total d'objets           :      6
          Nombre de triplets              :      6

          Nombre d'objets en place 1      :      0
          Nombre d'objets en place 2      :      4
          Nombre d'objets en place 3      :      0
          Nombre d'objets en place statut :      1
--------------------------------------------------------------------------------

;

;
Faits statiques :
-----------------
;
moto1 VITESSE 180
moto2 VITESSE 120
moto1 PRIOR 6
moto2 PRIOR 5
;
Faits deduits (dynamiques ou generes) :
---------------------------------------
;
moto1 PLUSRAPIDE moto2
moto2 PLUSPRIOR moto1