Future of Coding is an online community with a welcoming, cooperative, and revolutionary spirit. We are unified in the belief that the common practice of programming is tragically less humane than it could be.

Future of Coding

*William Byrd time*

<https://www.infoq.com/interviews/byrd-relational-programming-minikanren>

<https://www.youtube.com/watch?v=OyfBQmvr2Hc>

After being vaguely aware of miniKanren for a decade or so, I seem to finally be colliding with it when I'm ready for it (thanks to <https://futureofcoding.slack.com/archives/C5T9GPWFL/p1622304307031200?thread_ts=1622048775.021900&amp;cid=C5T9GPWFL> and <https://news.ycombinator.com/item?id=27359963>)

Hello, what's this?  A folder on my desktop labeled minikanren.  I suppose some more things are about to fall into it.  I read the first edition of the Reasoned Schemer a good, long while back.  I wanted to love it, but the execution of the idea left something to be desired, I recall.

Might I recommend this tiniest, most digestible distillate? μKanren implements the core of the system in 40 lines of scheme. :heart:
<http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf>

Thank you, this is the paper I'd (tried to) read a few years ago and spent several hours yesterday trying to remember. I'd forgotten that it's 'micro', not 'mini'.

<@U013ZLJARC7> Are `λ_g` and `λ_$` just regular lambdas? Are the suffixes just for documentation?

Is the terminology of "serious calls" just something in this paper, or more broadly understood?

Getting a complete strategy from an incomplete one by swapping two tokens = :exploding_head:

<@UCUSW7WVD> Yeah, the stream/goal designations are for us, not the computer. So far as I'm aware, the "serious" terminology was coined in Byrd's PhD.