jasonhemann/microKanren
View on GitHub ↗ ★ 322 Scheme
The implementation of microKanren, a featherweight relational programming language
5 mentions on Hacker News by 4 people: 0 stories, 5 comments · first 2014-10-01 · latest 2025-01-02
20082026
-
…in how to build a database / query engine and concrete applications of MiniKanren / datalog. [1] https://github.com/jasonhemann/microKanren [2] https://mitpress.mit.edu/books/reasoned-schemer-second-editi... [3]…
comment by adz5a · 2025-01-02 · in What Is miniKanren? -
…1. The heart of logic programming is also only about 50 lines of Scheme if you want to read that: https://github.com/jasonhemann/microKanren/blob/master/micro... 2. Hygienic macros in Rust probably owe their existence to their appearance…
comment by crdrost · 2022-11-15 · in Lisp-stick on a Python -
…starting from depth-first search: http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf https://github.com/jasonhemann/microKanren The standard exercise for learning microKanren is to translate the resulting ~50 lines of Scheme code…
comment by will_byrd · 2021-06-02 · in William Byrd on logic and relational programming, miniKanren (2014) -
…(Scheme '13), Alexandria, VA, 2013. http://webyrd.net/scheme-2013/papers/HemannMuKanren2013.pdf https://github.com/jasonhemann/microKanren
comment by will_byrd · 2016-07-31 · in Barliman: Prototype of a smart text editor -
…directly portable than that of other miniKanren languages." http://minikanren.org/#microKanrenPaper https://github.com/jasonhemann/microKanren
comment by michaelsbradley · 2014-10-01 · in MiniKanren – An embedded DSL for logic programming