Some background: miniKanren is a logic programming language in the neighborhood of Prolog (they are similar in the way that Python and Javascript are similar).

Some background: miniKanren is a logic programming language in the neighborhood of Prolog (they are similar in the way that Python and Javascript are similar). The language is described and implemented in the book The Reasoned Schemer, which is a sequel to the classic The Little Schemer. The major implementations of miniKanren are in Clojure and Racket. I was reading TRS and wanted to run the code, but I didn't have (and didn't feel like getting) Clojure or Racket. At the same time, I wanted to try my hand at some serious Elisp programming. The obvious answer was to put miniKanren into Emacs, and that's what this is.