GNU Emacs implementation of miniKanren, logic programming language
https://github.com/nickdrozd/reazon/