Define Prolog facts that represent colors of states, using color(s, c) format. Two neighbouring states must use different colors. You should use a minimum number of colors in your definition. For testing purposes, you must make two of the states that have conflict color, and use comment to indicate which color should be changed into what color in order to fix the error. Example given on next page.