| 摘要: |
| 本文讨论了我们自行开发的ＢＰＵ－ＣＬＰ（Ｒ）系统中推理机与约束求解器的协调技术．协调主要发生在回溯机制中．本文描述的方法妥善地解决了在存储优化的情况下推理机与约束求解器的协调问题. |
| 关键词: PROLOG CLP CLP（R） 存储优化技术 |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金和国家863高科技项目基金资助. |
|
| SYNCHRONIZATION OF THE INFERENCE ENGINE WITH THE CONSTRAINT SOLVER IN A CLP SYSTEM |
|
Zhang Xiuzhen,Liu Chunnian
|
| Abstract: |
| This paper discusses the synchronization of the inference engine with the constraint solver in the implementation of the BPU -CLP (R) system. Synchronization is needed in backtracking. This method can solve the synchronization problem properly even in the presence of storage optimization in the system. |
| Key words: ROLOG CLP CLP（R） storage optimization techniques. |
