%0 Journal Article
%T clp系统中推理机与约束求解器的协调技术
%A 张秀珍？
%A 刘椿年？
%J 软件学报
%P 415-421
%D 1996
%X 本文讨论了我们自行开发的ｂｐｕ－ｃｌｐ（ｒ）系统中推理机与约束求解器的协调技术．协调主要发生在回溯机制中．本文描述的方法妥善地解决了在存储优化的情况下推理机与约束求解器的协调问题.
%K prolog
%K clp
%K clp（r）
%K 存储优化技术
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19960705&flag=1