Prolog Map Coloring All Solutions