5-The following picture shows Utah County UTD map. Write a prolog program to find all acceptable coloring of UTD map such that connected buildings have dif- ferent colors. If two buildings are connected indirectly, the can have a same col- ors. For example, IRON and Braver should have different colors, while Beaver and Kane could have the same color. Please note that your program should color the map using minimum number of colors. Box Elder Tooele Millard Beaver Iron Juab Washington Pawan Kan Bringham City Tooele Filmore Cogan Open Salt Lake City Richfeld Junon Davis stoga Farmington Weber Cache Nigh Plute Salt Lake Kane Morgan Comine Prove Utah Mart Sevier Rich Randolph LOR Sanpete Summit Heber City Wasatch Case Dale Garfield Price Duchesne Duchesse Wayne Carbon Emery Manda Daggett Veral Uintah Grand Montcal San Juan County Seat 5-The following picture shows Utah County UTD map. Write a prolog program to find all acceptable coloring of UTD map such that connected buildings have dif- ferent colors. If two buildings are connected indirectly, the can have a same col- ors. For example, IRON and Braver should have different colors, while Beaver and Kane could have the same color. Please note that your program should color the map using minimum number of colors. Box Elder Tooele Millard Beaver Iron Juab Washington Pawan Kan Bringham City Tooele Filmore Cogan Open Salt Lake City Richfeld Junon Davis stoga Farmington Weber Cache Nigh Plute Salt Lake Kane Morgan Comine Prove Utah Mart Sevier Rich Randolph LOR Sanpete Summit Heber City Wasatch Case Dale Garfield Price Duchesne Duchesse Wayne Carbon Emery Manda Daggett Veral Uintah Grand Montcal San Juan County Seat