Posts
The Reasoned Schemer
miniKanren, microKanren and some implementations
BiRank
Towards Ranking on Bipartite Graphs
Aggregation predicates for µkanren
Groups, window functions, sets and enumerations
miniKanren, live and untagged
Quine generation via relational interpreters
Pure, declarative, and constructive arithmetic relations
A declarative pearl