Search trees and core.logic

from blog Scattered Thoughts, | ↗ original
Last week David Nolen (the author of core.logic) was visiting Hacker School so I decided to poke around inside core.logic. I made a PR that adds fair conjunction, user-configurable search and a parallel solver. First, a little background. From a high-level point of view, a constraint solver does three things: specifies a search space in the form of a set of...