microKanren
April 18, 2019 · View on GitHub
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.