I made a thing
It's a #Clojure implementation of the logic programming language from Structure and Interpretation of Computer Programs. I'll probably do a blog post about it at some point when I have time...
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!