从搜索顺序中解耦约束空间的收缩

Question

从宏观角度来看，约束求解器接受一个约束空间，生成空间的收缩树，并在该树上运行一些搜索算法。Core.logic 通过将搜索空间表示为树的叶子节点的懒加载流来构建该树的生成和搜索算法。通过显式地表示搜索树，我们得到新的搜索算法，可选的公平合取和并行搜索通过分叉-连接。

更多详情： http://scattered-thoughts.net/blog/2012/12/19/search-trees-and-core-dot-logic/

Github 分支： https://github.com/clojure/core.logic/pull/13

附上对 d68e3400472c5f745e4c13d64433459e11ba4871 的修改补丁。

Answer 1

评论由：dnolen 提出

谢谢！这个周末我会找时间仔细查看。

Answer 2

参考： https://clojure.atlassian.net/browse/LOGIC-87 （由 jamii 提出）