Viewing profile — ejdo

I did a mostly-true-to-the-paper python implementation a while back, that may be helpful as well: https://github.com/Erik-J-D/microKanren-py

Fair enough, I definitely could have titled it better - it's supposed to be "An introduction to how relational programming works specifically in microKanren presented as a code wal…

Piet comes to mind, but it's not exactly a "serious" language: https://esolangs.org/wiki/Piet Esolang also has a category for Chinese/Japanese/Korean languages: https://esolangs.or…