vertex(1). vertex(2). vertex(3).
edge(1,2). edge(2,3). edge(3,1).

colored(V,r); colored(V,b); colored(V,g) :- vertex(V).

:- edge(V,U), colored(V,C),colored(U,C).