logic-programming
-
创建随机 CNF 公式序言
-
使用 Clingo 优化关卡生成器的难度
-
Prolog 中的术语 "Functor" 与范畴论中的术语有任何关系吗？
-
定理证明中的归纳证明（Z3，Vampire，使用 TPTP 语法）
-
ASP 中有向图的路由检查
-
答案集编程中的负优化结果
-
答案集编程中的生成树
-
查询变量在特定位置时不终止
-
答案集编程——从大量模型中筛选
-
Java中有'logic programming'的元素吗？
-
将 `appendo` 关系从 smt2 转换为 python
-
如何在 clingo / gringo 中替换 python API 中的常量项？
-
逻辑编程中的事件驱动编程范式
-
Shorthand 用于 clingo 中的多项选择谓词
-
阐明不同 minikanren 实现中的搜索算法
-
预期可满足的 Clingo 程序
-
寻找 algorithm/research 区域，该区域确定在给定 Prolog 程序的情况下使 Prolog 查询为真的事实
-
为什么来自 miniKanren 的 "disj" 在 Scheme 中有效，但在 Racket 中无效？
-
"Generating Numbers" 拼图
-
找到满足某些条件的 16 位数字的最优雅方法是什么？