c(r). c(g). c(b). v(1..6). e(1,2). e(1,3). e(1,4). e(2,4). e(2,5). e(2,6). e(3,1). e(3,4). e(3,5). e(4,1). e(4,2). e(5,3). e(5,4). e(5,6). e(6,2). e(6,3). e(6,5). 1 {m(X,C) : c(C)} 1 :- v(X). :- e(X,Y), m(X,C), m(Y,C). #show m/2.