
color(Allemagne,France,Italie,Autriche,Suisse):- 
 fd_domain([Allemagne,France,Italie,Autriche,Suisse],1,4),
 Allemagne#\=France,
 Allemagne#\=Suisse,
 Allemagne#\=Autriche, 
 France#\=Italie,
 France#\=Suisse, 
 Italie#\=Autriche,
 Italie#\=Suisse, 
 Autriche#\=Suisse, 
fd_labeling([Allemagne,France,Italie,Autriche,Suisse]).

/*
?- color(Allemagne,France,Italie,Autriche,Suisse).

Allemagne = 1
Autriche = 2
France = 2
Italie = 1
Suisse = 3 ? ;

....
*/
