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...
This Mastodon instance is for people interested in technology. Discussions aren't limited to technology, because tech folks shouldn't be limited to technology either!