Awesome

microKanren

An Elm implementation of the μKanren language.

μKanren

μ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.

Learn more

If you want to learn more about microKanren our this Elm implementation go to our interactive page.