logic-programming
-
在 Prolog 中查找连接到顶点的所有节点
-
两个列表的整数约束和差异
-
Clingo 中的谜语拼图
-
"almost pure" Prolog 有表达力吗？
-
NU-Prolog 和哥德尔逻辑合理的“if-then-else”扩展
-
在 Curry (PAKCS) 中反转 `member` 没有给出答案
-
纯 Prolog 图灵完备吗？如果是，为什么它不能实现列表交集？
-
Curry 中的 N 元函数和 Prolog 中的 N+1 元关系有什么区别吗？
-
λProlog 拒绝假设推理查询？
-
当全局启用发生检查时，Prolog 是否需要 GC？
-
HiLog 是否添加了 Prolog 中 "call" 无法完成的内容？
-
通过基于具有算术运算的谓词属性进行过滤，从其他谓词编写谓词
-
用于声明一个对象的序言谓词大于另一个？
-
是否有正式系统可以让你做出类似人类的高阶陈述？
-
clp(Z) 与 Kiselyov 关系算术
-
Prolog递归可能不会以适当的边界条件退出
-
Clojure core.logic：nafc 和地面
-
无权访问 private_procedure `var/1'
-
Brave/Cautious clingo 推理
-
Prolog比较变量的方法