GitHub repository: mullr/micrologic
Primary language: Clojure
Description: A literate clojure implementation of microKanren