张秀珍,刘椿年.CLP系统中推理机与约束求解器的协调技术.软件学报,1996,7(7):415-421 |
CLP系统中推理机与约束求解器的协调技术 |
SYNCHRONIZATION OF THE INFERENCE ENGINE WITH THE CONSTRAINT SOLVER IN A CLP SYSTEM |
修订日期:1995-04-28 |
DOI: |
中文关键词: PROLOG CLP CLP(R) 存储优化技术 |
英文关键词:ROLOG CLP CLP(R) storage optimization techniques. |
基金项目:本文研究得到国家自然科学基金和国家863高科技项目基金资助. |
|
摘要点击次数: 2295 |
全文下载次数: 2738 |
中文摘要: |
本文讨论了我们自行开发的BPU-CLP(R)系统中推理机与约束求解器的协调技术.协调主要发生在回溯机制中.本文描述的方法妥善地解决了在存储优化的情况下推理机与约束求解器的协调问题. |
英文摘要: |
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. |
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |