Graph coloring project in prolog