Ao modificar o algoritmo em Prolog em Coloração de Mapas, disponível logo abaixo, para esse mapa apresentado, permitindo que as cidades A e B possam ter cores iguais. Quantas soluções existem?

/*

* Variáveis: A,B,C,D,E,F

Domínio:: {vermelho,verde,azul}

Restrições: A!=B, A!=C, B!=C, B!=D, C!=D, C!=E, C!=F, D!=E, E!=F

*/



/*

* Impomos as restriçõess: different(A,B) significa que a cor de A deve ser diferente da de B.

* */

coloring(A,B,C,D,E,F) :-
different(A,B),
different(A,C),
different(B,C),
different(B,D),
different(C,D),
different(C,E),
different(C,F),
different(D,E),
different(E,F).

/*

* Os fatos: vermelho é diferente de azul, que é diferente de verde , etc

* */

different(vermelho,azul).
different(azul,vermelho).
different(vermelho,verde).
different(verde,vermelho).
different(verde,azul).
different(azul,verde).


A - 18
B - 12
C - 16
D - 20
E - 14