logic-programming
-
在 core.logic Clojure (CLP) Cryptoarithmetic 中使用 apply
-
使用统一和正则表达式创建关系
-
程序的答案集——为什么空集不是答案集？
-
正确使用逻辑语言作为工具
-
SLD 解析树，哪个谓词适用于给出第一个 re-solvent
-
如何从 pyDataLog 中收回规则
-
MiniKanren 有 "not" 运算符吗？
-
使用 AND、NOT 和 > 的逻辑编程如何获得最高价值
-
在 TPTP 中表示语法上不同的术语
-
如何对 lvar 序列进行操作
-
逻辑引擎中的不确定性（根据当地地理位置产生合理的相对位置）
-
Prolog - 证明树错过了可能性
-
SQL 中的双重否定 - NOT (Food != "Apple") 的含义
-
Prolog - ASP 'not' 到 Prolog 取反
-
Pydatalog 聚合函数的使用
-
使用 Z3py 对 horn 子句进行不变归纳
-
是否可以查看给定谓词的所有含义是真还是假？
-
逻辑编程和自动定理证明之间的区别
-
使用 pyDatalog 解析依赖关系图
-
WARMR（ACE 套件）：从频繁模式中消除 "connected" 个术语