The Reasoned Schemer
miniKanren, microKanren and some implementations
Posted on March 9, 2018
(Last modified on July 10, 2026)
|
7 min
|
1379 words
|
Daniel P. Friedman William E. Byrd Oleg Kiselyov Jason Hemann
Aggregation predicates for µkanren
Groups, window functions, sets and enumerations
Posted on September 9, 2012
(Last modified on July 10, 2026)
|
3 min
|
525 words
|
Massimo Nocentini
miniKanren, live and untagged
Quine generation via relational interpreters
Posted on September 9, 2012
(Last modified on July 10, 2026)
|
9 min
|
1777 words
|
William E. Byrd Eric Holk Daniel P. Friedman
Pure, declarative, and constructive arithmetic relations
A declarative pearl
Posted on April 14, 2008
(Last modified on July 10, 2026)
|
1 min
|
202 words
|
William E. Byrd Oleg Kiselyov Daniel P. Friedman Chung-Chieh Shan