一系统其约束解答器系由一推理机每次给一个约束者，例如Prolog中所建之解答器可将新的约束加到已解答约束之初始为空的集合。
如果新的约束与已解答约束一致，它将被加到集合内。如果它前后不一致，推理机会后向追踪。