Does core.logic take advantage of concurrency/parallelization ?

I notice that it isn't making use of all the cores when it is running

Also was wondering if anyone has experience with working with the parallel version of core.logic using fork/join --> http://www.clojure.net/2012/10/02/More-core.logic/

@norman - I was wondering if I could go about parallelizing query in pldb code by using reducers or pmap in the fact search portion or if this is more of a issue with unification side

it seems more of the latter

I doubt it, given the way queries evaluate

Currently I've managed to represent a graph using pldb - and when I query for path that are two step [depth = 2] - it takes a long time

and I notice it isn't taking advantage of all the cores in the machine

Yes, I believe that

the execution model of core.logic is probably not very amenable to parallelization

I also noticed a slightly older post from jim deuy on using fork/join with core.logic --> http://www.clojure.net/2012/10/02/More-core.logic/

Yes, you’d have to fundamentally change the execution moel

hmm ... ok ... sounds like a interesting challenge to try out over the weekend 🙂

will try to use the jim duey's branch and see if it helps

@norman - what is the current state of core.logic and it's roadmap?

It’s not being actively developed

Unless it’s spun out of clojure core, I’m not inclined to contribute further