都进行检查。在符合无矛盾(consistency)的情况下，就会递回地往下唿叫。当所有的值都试过，演算法则回溯上层。在这个基本回溯演算法中，无矛盾性(consistency)被定义为满足所有的条件限制，且这些条件限制的变数已被赋值。若干回溯变数存在。回溯法提高了检查无矛盾性的效率。 回跳法 可以使在某些在某些情况中，透过回溯”一个以上的变数“，来省去部分的搜寻。 约束学习则借由减少新的条件限制,来避免部分的搜寻。 可预见性也常常在回溯法中应用，用来去预期选择一个变数或值的影响，因此常常用来预先判定一个子