% -----------------------------------------
% Exercice 3
% @author "Alexis Fouché" <contact@alexisfouche.net>
% -----------------------------------------

% == Question 1

?- coloriage(C1, C2, C3, C4).
C1 = vert,
C2 = C4, C4 = jaune,
C3 = rouge ;
C1 = vert,
C2 = C4, C4 = rouge,
C3 = jaune ;
C1 = jaune,
C2 = C4, C4 = vert,
C3 = rouge ;
C1 = jaune,
C2 = C4, C4 = rouge,
C3 = vert ;
C1 = rouge,
C2 = C4, C4 = vert,
C3 = jaune ;
C1 = rouge,
C2 = C4, C4 = jaune,
C3 = vert ;
false.

On obtient ici 6 résultats.

% == Question 2

?- coloriage2(C1, C2, C3, C4).
C1 = vert,
C2 = C4, C4 = jaune,
C3 = rouge ;
C1 = vert,
C2 = C4, C4 = rouge,
C3 = jaune ;
C1 = jaune,
C2 = C4, C4 = vert,
C3 = rouge ;
C1 = jaune,
C2 = C4, C4 = rouge,
C3 = vert ;
C1 = rouge,
C2 = C4, C4 = vert,
C3 = jaune ;
C1 = rouge,
C2 = C4, C4 = jaune,
C3 = vert ;
false.