Clojurians Log v2

@joshcho Much better to read The Reasoned Schemer if you can, while keeping this in mind: https://github.com/clojure/core.logic/wiki/Differences-from-The-Reasoned-Schemer

Thanks @jkr.sw!

Started working through reasoned schemer

My impression atm is that I have to be extra creative to apply relational programming to a problem

But once I do, the how disappears and the what remains? Something like that

Is this impression correct? Also, I am trying to use it to convert an ast into a list of facts (or the equivalent in minikanren), so that it’s easier to navigate (e.g. range query on all nodes between certain line numbers)

Basically, this feels mind-blowing and very useful if creative, but needing some validation (since I am just dipping my toes in)

Yeah logic programming isn't always a great fit for many problems, but where it works it can be really nice

Is it recommended to learn prolog before core.logic? I wonder if that will solidify the foundations