fork download 
  1. color(red).
  2. color(green).
  3. color(blue).
  4. color(yellow).
  5.  
  6. adjacent(鶴見, 神奈川).
  7. adjacent(神奈川, 西).
  8. adjacent(西, 中).
  9. adjacent(中, 南).
  10. adjacent(南, 港南).
  11. adjacent(港南, 磯子).
  12. adjacent(磯子, 金沢).
  13. adjacent(金沢, 栄).
  14. adjacent(栄, 港南).
  15. adjacent(中, 保土ケ谷).
  16. adjacent(保土ケ谷, 西).
  17. adjacent(保土ケ谷, 旭).
  18. adjacent(旭, 瀬谷).
  19. adjacent(瀬谷, 泉).
  20. adjacent(泉, 戸塚).
  21. adjacent(戸塚, 栄).
  22. adjacent(都筑, 港北).
  23. adjacent(都筑, 青葉).
  24. adjacent(都筑, 緑).
  25. adjacent(港北, 神奈川).
  26. adjacent(緑, 青葉).
  27. adjacent(港北, 鶴見).
  28. adjacent(保土ケ谷, 緑).
  29.  
  30. coloring([]).
  31. coloring([区-色 | 残り]) :-
  32.     color(色),
  33.     coloring(残り),
  34.     forall(member(隣-色2, 残り),
  35.            ((adjacent(区, 隣); adjacent(隣, 区)) -> 色 \= 色2 ; true)).
  36.  
  37. print_colors([]).
  38. print_colors([区-色 | 残り]) :-
  39.     write(区), write(' -> '), write(色), nl,
  40.     print_colors(残り).
  41.  
  42. main :-
  43.     配置 = [
  44.         鶴見-_, 神奈川-_, 西-_, 中-_, 南-_, 港南-_,
  45.         磯子-_, 金沢-_, 栄-_, 保土ケ谷-_, 旭-_, 瀬谷-_,
  46.         泉-_, 戸塚-_, 都筑-_, 港北-_, 緑-_, 青葉-_
  47.     ],
  48.     coloring(配置),
  49.     write('4色で塗り分け可能'), nl,
  50.     print_colors(配置).
  51.  
  52. :- main.
  53.  
Success #stdin #stdout #stderr 0.04s 6984KB
comments (?)
stdin 
Standard input is empty
stdout 
Standard output is empty
stderr 
Warning: /home/4iSw2q/prog:52:
	Goal (directive) failed: user:main
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? EOF: exit
https://ideone.com/nL4XqW
language:
Prolog (swi 7.6.4)
created:
12 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!