# microKanren
An [Elm][elm] implementation of the [μKanren][microkanren] language.

## μKanren
[μKanren][microkanren] is a

> a minimalist language in the [miniKanren][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][paper].

## Learn more
If you want to learn more about micoKanren our this Elm implementation go to our
[interactive page][page].

[elm]: http://elm-lang.org/
[minikanren]: http://minikanren.org/
[microkanren]: http://minikanren.org/
[paper]: http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf
[page]: https://dvberkel.github.io/microKanren/