I made a thing

https://github.com/jdormit/sicp-logic

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