将约束空间的缩小与搜索顺序解耦

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报告）