The Reasoned Schemer
miniKanren, microKanren and some implementations
Posted on March 9, 2018
(Last modified on July 10, 2026)
|
7 min
|
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
|
Massimo Nocentini
miniKanren, live and untagged
Quine generation via relational interpreters
Posted on September 9, 2012
(Last modified on July 10, 2026)
|
9 min
|
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
|
William E. Byrd Oleg Kiselyov Daniel P. Friedman Chung-Chieh Shan