Re: Fair conjunction and parallel solvers in core.logic

2012-12-19 Thread David Nolen
Great write up! :) David On Wed, Dec 19, 2012 at 5:52 PM, Jamie Brandon wrote: > Last week I figured out how to add fair conjunction and a parallel > solver (via fork-join) to core.logic. I just wrote up an explanation > of how it works which may be interesting: > > > http://scattered-thoughts

Fair conjunction and parallel solvers in core.logic

2012-12-19 Thread Jamie Brandon
Last week I figured out how to add fair conjunction and a parallel solver (via fork-join) to core.logic. I just wrote up an explanation of how it works which may be interesting: http://scattered-thoughts.net/blog/2012/12/19/search-trees-and-core-dot-logic/ https://github.com/jamii/core.logic/tree