Prolog Map Coloring Defining States and Coloring Criteria