core-logic

Ben Sless 2021-11-19T08:07:06.030500Z

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

paulocuneo 2021-11-19T20:29:25.030600Z

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 Sless 2021-11-19T20:45:11.031Z

Yeah I've been going over the papers 🙂

Ben Sless 2021-11-19T20:45:18.031200Z

Maybe after reclojure