color(red).color(green).color(blue). adjacent(ibaraki,tochigi).adjacent(ibaraki,saitama).adjacent(ibaraki,chiba).adjacent(tochigi,gunma).adjacent(tochigi,saitama).adjacent(gunma,saitama).adjacent(saitama,tokyo).adjacent(saitama,chiba).adjacent(tokyo,chiba).adjacent(tokyo,kanagawa).
solve(Map).
GNU Prolog 1.4.5 (64 bits) Compiled Feb 5 2017, 10:30:08 with gcc By Daniel Diaz Copyright (C) 1999-2016 Daniel Diaz | ?- uncaught exception: error(existence_error(procedure,solve/1),top_level/0) | ?-
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!