1 ?- initialisation.

Yes
2 ?- etat.
Etat courant : (v1, voiture, rouge) vide (m1, moto, jaune) vide vide (v2, voiture, vert) (m2, moto, rouge) (c1, camion, vert) 

Yes
3 ?- vrai([juste_derriere(v1,m1), devant(v2,v1)]).

Yes
4 ?- vrai([juste_derriere(v1,m1), devant(v1,v2)]).

No
5 ?- initialisation.

Yes
6 ?- etat.
Etat courant : (v1, voiture, rouge) vide (m1, moto, jaune) vide vide (v2, voiture, vert) (m2, moto, rouge) (c1, camion, vert) 

Yes
7 ?- action(recule(v1)).
Etat courant : (v1, voiture, rouge) vide vide (m1, moto, jaune) vide vide (v2, voiture, vert) (m2, moto, rouge) (c1, camion, vert) 

Yes
8 ?- action(avance(c1)).
Etat courant : (v1, voiture, rouge) vide vide (m1, moto, jaune) vide vide (v2, voiture, vert) (m2, moto, rouge) vide (c1, camion, vert) 

Yes
9 ?- action(avance(v2)).
avance(v2) Action Impossible
Veuillez saisir une autre action
Etat courant : (v1, voiture, rouge) vide vide (m1, moto, jaune) vide vide (v2, voiture, vert) (m2, moto, rouge) vide (c1, camion, vert) 

Yes
10 ?- action(double(v1,m1)).
Etat courant : vide vide vide (m1, moto, jaune) (v1, voiture, rouge) vide (v2, voiture, vert) (m2, moto, rouge) vide (c1, camion, vert) 

Yes
11 ?- action(double(v1,v2)).
double(v1, v2) Action Impossible
Veuillez saisir une autre action
Etat courant : vide vide vide (m1, moto, jaune) (v1, voiture, rouge) vide (v2, voiture, vert) (m2, moto, rouge) vide (c1, camion, vert) 

Yes
12 ?- action(recule(v1)).
recule(v1) Action Impossible
Veuillez saisir une autre action
Etat courant : vide vide vide (m1, moto, jaune) (v1, voiture, rouge) vide (v2, voiture, vert) (m2, moto, rouge) vide (c1, camion, vert) 

Yes
13 ?- action(distance_de_securite).
Etat courant : vide (m1, moto, jaune) vide (v1, voiture, rouge) vide (v2, voiture, vert) vide (m2, moto, rouge) vide (c1, camion, vert)

14 ?- initialisationGraphique.

Yes
15 ?- visu_action(double(v1,m1)).

Yes
16 ?- visu_action(recule(c1)).
recule(c1) Action Impossible
Veuillez saisir une autre action

Yes
17 ?- visu_action(recule(m1)).

Yes
18 ?- visu_action(recule(m1)).

Yes
19 ?- visu_action(recule(m1)).

Yes
20 ?- visu_action(avance(c1)).

Yes
21 ?- visu_action(distance_de_securite).
Etat courant : (m1, moto, jaune) vide vide (v1, voiture, rouge) vide (v2, voiture, vert) vide (m2, moto, rouge) vide (c1, camion, vert) 

Yes
22 ?- requete1.
|: quelle est la voiture rouge.
la voiture v1 

23 ?- requete2.
|: où est v1.
la voiture v1 est derrière v2 
la voiture v1 est derrière m1 
la voiture v1 est derrière m2 
la voiture v1 est derrière c1 
la voiture v1 est juste derrière m1 
la voiture v1 est en queue de file 

No
24 ?- requete3.
|: v1 avance.
Etat courant : vide (v1, voiture, rouge) (m1, moto, jaune) vide vide (v2, voiture, vert) (m2, moto, rouge) (c1, camion, vert)