README Abstract I’m working through The Reasoned Schemer[fn:1] using Chicken’s port of mini-kanren. Footnotes [fn:1] Friedman, Daniel P., William E. Byrd, and Oleg Kiselyov. The Reasoned Schemer. MIT Press, 2005.