fork download 
  1. % 色の定義（3色）
  2. color(red).
  3. color(blue).
  4. color(green).
  5.  
  6. % 塗り分け条件
  7. color_map(K,T,KH,M,H,N,Z,A) :-
  8.     color(K),  % 神奈川区
  9.     color(T),  % 鶴見区
  10.     color(KH), % 港北区
  11.     color(M),  % 緑区
  12.     color(H),  % 保土ヶ谷区
  13.     color(N),  % 西区
  14.     color(Z),  % 都筑区
  15.     color(A),  % 青葉区
  16.  
  17.     K \= T,
  18.     K \= KH,
  19.     K \= M,
  20.     K \= H,
  21.     K \= N,
  22.     T \= KH,
  23.     KH \= M,
  24.     KH \= Z,
  25.     M \= Z,
  26.     M \= A,
  27.     M \= H,
  28.     H \= N.
  29.  
  30. % 実行部
  31. :- initialization(
  32.     ( color_map(K,T,KH,M,H,N,Z,A) ->
  33.         format('3色で塗り分け可能~n');
  34.         format('3色では塗り分け不可能~n')
  35.     )
  36. ).
  37.  
Success #stdin #stdout #stderr 0.03s 6920KB
comments (?)
stdin 
run
stdout 
3色で塗り分け可能
stderr 
Warning: /home/6UUC1X/prog:31:
	Singleton variables: [K,T,KH,M,H,N,Z,A]
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? EOF: exit
https://ideone.com/XNaLUC
language:
Prolog (swi 7.6.4)
created:
11 days ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!