coloring.lp

node(sendai;ishinomaki;shiogama;kesennuma;shiroishi;natori;kakuda;tagajyo;iwanuma;tome;kurihara;higashimatsushima;oosaki;zaou;shichikasyuku;oogawara;murata;shibata;kawasaki;marumori;watari;yamamoto;matsushima;shichigahama;rifu;taiwa;oosato;tomiya;oohira;shikama;kami;wakuya;misato;onagawa;minamisanriku).

edge(sendai,natori). edge(sendai,tagajyo). edge(sendai,tomiya). edge(sendai, murata). edge(sendai, kawasaki). edge(sendai, shichigahama). edge(sendai, rifu). edge(sendai, taiwa). edge(sendai, shiki).
edge(ishinomaki, tome). edge(ishinomaki, higashimatsushima). edge(ishinomaki, wakuya). edge(ishinomaki, misato). edge(ishinomaki, onagawa). edge(ishinomaki, minamisanriku).
edge(shiogama, tagajyo). edge(shiogama, shichigahama). edge(shiogama, rifu).
edge(kesennuma, tome). edge(kesennuma, minamisanriku). 
edge(shiroishi, kakuda). edge(shiroishi, zaou). edge(shiroishi, shichikasyuku). edge(shiroishi, oogawara). edge(shiroishi, marumori).
edge(natori, sendai). edge(natori, kesennuma). edge(natori, murata).
edge(kakuda, shiroishi). edge(kakuda, oogawara). edge(kakuda, shibata). edge(kakuda, watari). edge(kakuda, yamamoto).
edge(tagajo, sendai). edge(tagajo, shiogama). edge(tagajo, shichigahama). edge(tagajo, rifu).
edge(iwanuma, natori). edge(iwanuma, murata). edge(iwanuma, shibata). edge(iwanuma, watari).
edge(tome, ishinomaki). edge(tome, kesennuma). edge(tome, kurihara). edge(tome, oosaki). edge(tome, wakuya). edge(tome, minamisanriku).
edge(kurihara, tome). edge(kurihara, oosaki). 
edge(higashimatsushima, ishinomaki). edge(higashimatsushima, matsushima). edge(higashimatsushima, misato).
edge(oosaki, tome). edge(oosaki, kurihara). edge(oosaki, matsushima). edge(oosaki, oosato). edge(oosaki, oohira). edge(oosaki, shikama). edge(oosaki, kami). edge(oosaki, wakuya). edge(oosaki, misato).
edge(tomiya, sendai). edge(tomiya, rifu). edge(tomiya, misato).
edge(zaou, shiroishi). edge(zaou, shichikasyuku). edge(zaou, oogawara). edge(zaou, murata). edge(zaou, kawasaki).
edge(shichikasyuku, shiroishi). edge(shichikasyuku, zaou).
edge(oogawara, shiroishi). edge(oogawara, kakuda). edge(oogawara, zaou). edge(oogawara, murata). edge(oogawara, shibata).
edge(murata, sendai). edge(murata, natori). edge(murata, iwanuma). edge(murata, zaou). edge(murata, oogawara). edge(murata, shibata). edge(murata, kawasaki).
edge(shibata, kakuda). edge(shibata, iwanuma). edge(shibata, oogawara). edge(shibata, murata). edge(shibata, watari).
edge(kawasaki, sendai). edge(kawasaki, zaou). edge(kawasaki, murata).
edge(marumori, shiroishi). edge(marumori, kakuda). edge(marumori, yamamoto).
edge(watari, kakuda). edge(watari, iwanuma). edge(watari, shibata). edge(watari, yamamoto).
edge(yamamoto, kakuda). edge(yamamoto, marumori). edge(yamamoto,watari).
edge(matsushima, higashimatsushima). edge(matsushima, oosaki). edge(matsushima, rifu). edge(matsushima, oosato). edge(matsushima, misato).
edge(shichigahama, sendai). edge(shichigahama, shiogama). edge(shichigahama, tagajo).
edge(rifu, sendai). edge(rifu, shiogama). edge(rifu, tagajo). edge(rifu, tomiya). edge(rifu, matsushima). edge(rifu, taiwa). edge(rifu, oosato).
edge(taiwa, sendai). edge(taiwa, tomiya). edge(taiwa, rifu). edge(taiwa, oosato). edge(taiwa, oohira). edge(taiwa, shikama).
edge(oosato, oosaki). edge(oosato, matsushima). edge(oosato, rifu). edge(oosato, taiwa). edge(oosato, oohira).
edge(oohira, oosaki). edge(oohira, taiwa). edge(oohira, oosato). edge(oohira, shikama).
edge(shikama, sendai). edge(shikama, oosaki). edge(shikama, taiwa). edge(shikama, oohira). edge(shikama, kami). 
edge(kami, oosaki). edge(kami, shikama).
edge(wakuya, ishinomaki). edge(wakuya, tome). edge(wakuya, oosaki). edge(wakuya, misato).
edge(miwato, ishinomaki). edge(misato, higashimatsushima). edge(misato, oosaki). edge(misato, matsushima). edge(misato, wakuya).
edge(onagawa, ishinomaki).
edge(minamisanriku, ishinomaki). edge(minamisanriku, kesennuma). edge(minamisanriku, tome).

% coloring
col(red;green;blue;yellow).
1 { node_col(X,C) : col(C) } 1 :- node(X).
:- edge(X,Y), node_col(X,C), node_col(Y,C).

#show node_col/2.