minikanren
-
从地图中提取有限域 lvars
-
查询变量在特定位置时不终止
-
阐明不同 minikanren 实现中的搜索算法
-
为什么来自 miniKanren 的 "disj" 在 Scheme 中有效，但在 Racket 中无效？
-
"facts database" 不是迷你看人的核心功能吗？
-
clp(Z) 与 Kiselyov 关系算术
-
Clojure core.logic：nafc 和地面
-
Clojure 的简单序言 core.logic
-
miniKanren（logpy，或其他）如何断言一个事实是真的？
-
如何使用 quote 和 unquote 更忠实地将 The Reasoned Schemer 翻译成 Racket？
-
所有可能的子列表方案
-
正确使用逻辑语言作为工具
-
为什么 sorto 的这个实现不会终止？
-
MiniKanren 有 "not" 运算符吗？
-
我应该如何处理逻辑编程中的重复更新？
-
对于 core.logic，非关系在实践中意味着什么？
-
理性策划者：不理解练习 57
-
为什么 'The Reasoned Schemer' 在其函数的末尾添加一个 'o'？
-
使用 clojure 的 core.logic / minikanren 查找相似集
-
图 DB 与 Prolog（或 miniKanren）