最近学习miniKanren,把《the reasoned schemer》看了一下。然后是看了下microKanren,这篇paper µKanren: A Minimal Functional Core for Relational ...
確定! 回上一頁