fork download
  1. color().
  2. color().
  3. color().
  4.  
  5. color_yokohama(Tsurumi, Kohoku, Midori, Hodogaya, Nishi) :-
  6.  
  7. color(Tsurumi), color(Kohoku), color(Midori), color(Hodogaya), color(Nishi),
  8.  
  9.  
  10. Tsurumi \= Kohoku,
  11. Kohoku \= Midori,
  12. Kohoku \= Hodogaya,
  13. Midori \= Hodogaya,
  14. Hodogaya \= Nishi.
  15.  
  16. (
  17.  
  18. ( color_yokohama(_, _, _, _, _) ->
  19. format('3色での塗り分けが可能です。~n')
  20. ;
  21.  
  22. format('3色での塗り分けは不可能です。~n')
  23. )
  24. )
  25. ).
Success #stdin #stdout #stderr 0.03s 6968KB
stdin
鶴見区
緑区
港北区
stdout
3色での塗り分けが可能です。
stderr
ERROR: '$runtoplevel'/0: Undefined procedure: program/0
   Exception: (3) program ? ERROR: Unknown option (h for help)
   Exception: (3) program ? ERROR: Unknown option (h for help)
   Exception: (3) program ? [Illegal port specification]
   Exception: (3) program ? EOF: exit