Fork me on GitHub
Ben Sless20:11:34

Has anyone tried or explored the possibility of implementing the core.logic streams as reducibles or iterables and not as lazy sequences?

Ben Sless06:11:16

I think this may be the piece I needed to treat Choice directly as reducible Maybe I'll just need to tease apart the pull from take


The way minikanren handles branches by interleaving makes expressing it as a reduce tricky


I think someone wrote a datalog in clojure based on reduce, Odin maybe?

Ben Sless21:11:20

From chasing down the papers, isn't it the only way to guarantee fairness in the implementation?