Fork me on GitHub
#core-logic
<
2021-11-19
>
Ben Sless08:11:06

I wonder if with some care one could work through Stream.iterate() as an alternative. Since it's iterable you can reduce over it in the end

paulocuneo20:11:25

microkanren is small enough that you could port it to clojure and implemented with whatever you like, doesn't have all the extensions core.logic has https://github.com/jasonhemann/microKanren/blob/master/microKanren.scm every now and then I start to roll my own version of minikanren just for fun , but never have the time to complete it 😆

Ben Sless20:11:11

Yeah I've been going over the papers 🙂

Ben Sless20:11:18

Maybe after reclojure

paulocuneo20:11:25

microkanren is small enough that you could port it to clojure and implemented with whatever you like, doesn't have all the extensions core.logic has https://github.com/jasonhemann/microKanren/blob/master/microKanren.scm every now and then I start to roll my own version of minikanren just for fun , but never have the time to complete it 😆