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

REGLE examinee : QUI_VA_LE_PLUS_VITE

Poids de la VARIABLE : (Y2)
     PREMISSE : (X2) VITESSE (Y2) --> 2
Poids de la VARIABLE : (Y1)
     PREMISSE : (X1) VITESSE (Y1) --> 2

VARIABLE en cours d'instanciation : (Y2)

PREMISSE examinee : (X2) VITESSE (Y2)
Instanciation(s) de cette VARIABLE : 120
                                     180

PREMISSE examinee : (Y1) > (Y2)
Instanciation retenue : 120

Fin de l'instanciation de la VARIABLE (Y2).

Poids de la VARIABLE : (Y1)
     PREMISSE : (X1) VITESSE (Y1) --> 2

VARIABLE en cours d'instanciation : (Y1)

PREMISSE examinee : (X1) VITESSE (Y1)
Instanciation(s) de cette VARIABLE : 120
                                     180

PREMISSE examinee : (Y1) > (Y2)
Instanciation retenue : 180

Fin de l'instanciation de la VARIABLE (Y1).

VARIABLE en cours d'instanciation : (X1)

PREMISSE examinee : (X1) VITESSE (Y1)
Instanciation(s) de cette VARIABLE : moto1

Fin de l'instanciation de la VARIABLE (X1).

VARIABLE en cours d'instanciation : (X2)

PREMISSE examinee : (X2) VITESSE (Y2)
Instanciation(s) de cette VARIABLE : moto2

Fin de l'instanciation de la VARIABLE (X2).

NOUVELLE INSTANCIATION GLOBALE de la REGLE QUI_VA_LE_PLUS_VITE trouvee.

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

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  ----------------

Instanciation de la VARIABLE : (Y2)

Instanciation(s) restant a considerer : 180

PREMISSE examinee : (Y1) > (Y2)
Instanciation retenue : 180

Fin de l'instanciation de la VARIABLE (Y2).

Poids de la VARIABLE : (Y1)
     PREMISSE : (X1) VITESSE (Y1) --> 2

VARIABLE en cours d'instanciation : (Y1)

PREMISSE examinee : (X1) VITESSE (Y1)
Instanciation(s) de cette VARIABLE : 120
                                     180

PREMISSE examinee : (Y1) > (Y2)
Aucune instanciation possible !

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

REGLE examinee : QUI_EST_PLUS_PRIORITAIRE

Poids de la VARIABLE : (Y2)
     PREMISSE : (X2) PRIOR (Y2) --> 2
Poids de la VARIABLE : (Y1)
     PREMISSE : (X1) PRIOR (Y1) --> 2

VARIABLE en cours d'instanciation : (Y2)

PREMISSE examinee : (X2) PRIOR (Y2)
Instanciation(s) de cette VARIABLE : 5
                                     6

PREMISSE examinee : (Y1) < (Y2)
Instanciation retenue : 5

Fin de l'instanciation de la VARIABLE (Y2).

Poids de la VARIABLE : (Y1)
     PREMISSE : (X1) PRIOR (Y1) --> 2

VARIABLE en cours d'instanciation : (Y1)

PREMISSE examinee : (X1) PRIOR (Y1)
Instanciation(s) de cette VARIABLE : 5
                                     6

PREMISSE examinee : (Y1) < (Y2)
Aucune instanciation possible !

Instanciation de la VARIABLE : (Y2)

Instanciation(s) restant a considerer : 6

PREMISSE examinee : (Y1) < (Y2)
Instanciation retenue : 6

Fin de l'instanciation de la VARIABLE (Y2).

Poids de la VARIABLE : (Y1)
     PREMISSE : (X1) PRIOR (Y1) --> 2

VARIABLE en cours d'instanciation : (Y1)

PREMISSE examinee : (X1) PRIOR (Y1)
Instanciation(s) de cette VARIABLE : 5
                                     6

PREMISSE examinee : (Y1) < (Y2)
Instanciation retenue : 5

Fin de l'instanciation de la VARIABLE (Y1).

VARIABLE en cours d'instanciation : (X1)

PREMISSE examinee : (X1) PRIOR (Y1)
Instanciation(s) de cette VARIABLE : moto2

Fin de l'instanciation de la VARIABLE (X1).

VARIABLE en cours d'instanciation : (X2)

PREMISSE examinee : (X2) PRIOR (Y2)
Instanciation(s) de cette VARIABLE : moto1

Fin de l'instanciation de la VARIABLE (X2).

NOUVELLE INSTANCIATION GLOBALE de la REGLE QUI_EST_PLUS_PRIORITAIRE trouvee.

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

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  ----------------

Instanciation de la VARIABLE : (Y1)

Instanciation(s) restant a considerer : 6

PREMISSE examinee : (Y1) < (Y2)
Aucune instanciation possible !

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

                      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