从搜索顺序中分离约束空间缩窄

Question

从高层次的角度看，约束求解器接受一个约束空间，生成该空间的缩窄树，并在树上运行一些搜索算法。Core.logic通过将搜索空间表示为树的叶子的懒散流来组合树的生成和搜索算法。通过显式表示搜索树，我们得到了新的搜索算法，通过fork-join支持可选的公平联合和并行搜索。

更多详情：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 报告）