The reasoned schemer（Daniel P. Friedman，2005）。暂无简体中文版。HN 上 45 人推荐。用问答形式在 Scheme 里讲解逻辑编程，并一步步实现 miniKanren。