3 ms·
I found sokuza-kanren [0] to be a wonderful introduction. It starts with the absolute basics and builds into a minimal logic system through a series of well-doc
by ergeysay 2y ago
I found sokuza-kanren [0] to be a wonderful introduction. It starts with the absolute basics and builds into a minimal logic system through a series of well-documented steps.
[0] https://github.com/miniKanren/sokuza-kanren https://github.com/miniKanren/sokuza-kanren
- riku_iki 2y agobut one need to learn lisp to read it?..
- jasonhemann 2y agoWhat's your preferred PL? I suspect we could do a similar build-it-up in that lang too.
- riku_iki 2y agoI personally code in c++, java and python. I think python is the most common and simple language with majority of devs would understand for concepts learning, but it is likely too slow for practical applications.
- jasonhemann 2y agoOne of the things miniKanren has going for it is that tons of folk have built little embedded implementations in the whatever your favorite host language is. For instance, here's https://web.archive.org/web/20211205175513id_/https://erik-j.de/microkanren/ https://web.archive.org/web/20211205175513id_/https://erik-j... a walkthrough of how you'd implement the basics in Python. Comes with an explanation.