76 lines
2.1 KiB
Plaintext
Executable File
76 lines
2.1 KiB
Plaintext
Executable File
;
|
|
--------------------------------------------------------------------------------
|
|
|
|
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
|
|
|