ramda-logic A microKanren implementation. Resources µKanren microKanren: A Minimal Functional Core for Relational Programming. microLogic miniKanren.org The Reasoned Schemer