组词典 词语

增量约束解答器

【增量约束解答器】基础信息( 英文,繁体)

【增量约束解答器】是什么意思

一系统其约束解答器系由一推理机每次给一个约束者,例如Prolog中所建之解答器可将新的约束加到已解答约束之初始为空的集合。

如果新的约束与已解答约束一致,它将被加到集合内。如果它前后不一致,推理机会后向追踪。

浏览历史