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