首页
标签
reasoned-schemer
阐明不同 minikanren 实现中的搜索算法
"facts database" 不是迷你看人的核心功能吗？
理性策划者：不理解练习 57
为什么 'The Reasoned Schemer' 在其函数的末尾添加一个 'o'？