CLP系统中推理机与约束求解器的协调技术

摘要

本文讨论了我们自行开发的ＢＰＵ－ＣＬＰ系统中推理机与约束求解器的协调技术，协调主要发生在回溯机制中。本文描述的方法妥善地解决了在存储优化的情况下推理机与约束求解器的协调问题。