Logic Programming← Categories2026Oct 21 The (aux kanren) modulesFeb 5 The (aux hansei) modules2018Mar 9 The Reasoned Schemer2012Sep 9 miniKanren, live and untaggedSep 9 Aggregation predicates for µkanren2008Apr 14 Pure, declarative, and constructive arithmetic relations