Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/dvberkel/microkanren
An Elm implementation of the μKanren language.
https://github.com/dvberkel/microkanren
elm microkanren
Last synced: 9 days ago
JSON representation
An Elm implementation of the μKanren language.
- Host: GitHub
- URL: https://github.com/dvberkel/microkanren
- Owner: dvberkel
- License: mit
- Created: 2018-08-25T07:26:19.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2021-04-20T20:32:17.000Z (over 3 years ago)
- Last Synced: 2024-05-18T20:47:50.149Z (7 months ago)
- Topics: elm, microkanren
- Language: Elm
- Homepage: https://dvberkel.github.io/microKanren/
- Size: 565 KB
- Stars: 5
- Watchers: 3
- Forks: 1
- Open Issues: 2
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-elm-pltd - microkanren - An Elm implementation of the μKanren language. (Languages / Interpreters)
README
# 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 microKanren 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/