The classic Map Coloring Problem resolved using Prolog