An Elm implementation of the μKanren language.
μKanren is a
a minimalist language in the miniKanren family of relational (logic) programming languages.
It is described in Jason Hemann and Daniel P.Friedman's paper: μKanren: A Minimal Functional Core for Relational Programming.
If you want to learn more about micoKanren our this Elm implementation go to our interactive page.