This paper presents the backtracking technique based on the unification environment in PROLOG system and related algorithms, and the method of intelligence backtracking under unification environment.
Based on the base saying about concept and standard mathematical model of polychromatic sets, the relations between unification color and individual color are narrated.
本文在阐述多色集合的概念、多色集合的标准数学模型的基础上，阐明了统一颜色的存在和个人颜色的关系。
3
Based on this, the designing seeks high unification of modeling and functions.