[ergeysay]

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

[riku_iki]

but one need to learn lisp to read it?..

[jasonhemann]

What's your preferred PL? I suspect we could do a similar build-it-up in that lang too.