%0 Journal Article
%T SYNCHRONIZATION OF THE INFERENCE ENGINE WITH THE CONSTRAINT SOLVER IN A CLP SYSTEM<br>CLP系统中推理机与约束求解器的协调技术
%A Zhang Xiuzhen
%A Liu Chunnian
%A <br>张秀珍
%A 刘椿年
%J 软件学报
%D 1996
%I 
%X 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.
%K ROLOG
%K CLP
%K CLP(R)
%K storage optimization techniques<br>PROLOG
%K CLP
%K CLP（R）
%K 存储优化技术
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=7BAE3B6813793D2738665EAFFCC19EB7&yid=8A15F8B0AA0E5323&vid=DF92D298D3FF1E6E&iid=DF92D298D3FF1E6E&sid=BFB86B6ED3A99B9D&eid=65C08888CCE4801E&journal_id=1000-9825&journal_name=软件学报&referenced_num=5&reference_num=4