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

I 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.

One 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... a walkthrough of how you'd implement the basics in Python. Comes with an explanation.