Fork me on GitHub
#core-logic
<
2018-08-11
>
bajrachar02:08:32

Does core.logic take advantage of concurrency/parallelization ?

bajrachar02:08:18

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

bajrachar02:08:14

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/

bajrachar02:08:05

@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

bajrachar02:08:29

it seems more of the latter

norman02:08:51

I doubt it, given the way queries evaluate

bajrachar02:08:39

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

bajrachar02:08:04

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

norman02:08:33

Yes, I believe that

norman02:08:53

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

bajrachar02:08:02

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/

norman02:08:57

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

bajrachar02:08:36

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

bajrachar03:08:11

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

bajrachar03:08:30

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

norman03:08:05

It’s not being actively developed

norman03:08:37

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

☝️ 4