节点文献

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

SYNCHRONIZATION OF THE INFERENCE ENGINE WITH THE CONSTRAINT SOLVER IN A CLP SYSTEM

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 张秀珍； 刘椿年；

【Author】 Zhang Xiuzhen; Liu Chunnian(Departmeat of Cmputtr Science Bnyng Polytechnic University Baijing 100022)

【机构】 北京工业大学计算机系；

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

【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.

【关键词】 PROLOG； CLP； CLP（R）； 存储优化技术；
【Key words】 ROLOG； CLP； CLP(R)； storage optimization techniques.；
【基金】 国家自然科学基金,国家863高科技项目
  • 【文献出处】 软件学报 ,JOURNAL OF SOFTWARE , 编辑部邮箱 ,1996年07期
  • 【分类号】TP311
  • 【被引频次】11
  • 【下载频次】65
打印本页
节点文献中：