col(X,red) | col(X,blue) | col(X,green) :- node(X).
:- col(X,C), col(Y,C), arc(X,Y).