Resolving Color Conflicts During Color Unification

Color unification is valuable for tracing, debugging, and understanding Prolog programs.However, color conflicts can arise naturally during color unification. This paper describespossible strategies to deal with these conflicts. The advantages and disadvantages of thedifferent strategies are discussed using examples generated by a working implementation.It is found that no single scheme works best in all situations, and that in many instances,more complex schemes have little advantage over ...