《计算机程序的构造和解释》编程题解
Explanation of the Programming Problems in the Construction and Interpretation of Computer Programs (2018-03-08, Scheme, 0KB, 下载0次)
miniKanren中的随机逻辑程序（SLP）式概率逻辑编程，
Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren, (2013-02-03, Scheme, 0KB, 下载0次)