https://github.com/dvberkel/microkanren

An Elm implementation of the μKanren language.
https://github.com/dvberkel/microkanren

elm microkanren

Last synced: about 1 month 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 (almost 6 years ago)
• Default Branch: master
• Last Pushed: 2021-04-20T20:32:17.000Z (about 3 years ago)
• Last Synced: 2024-05-18T20:47:50.149Z (about 1 month 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

Lists

• 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/