logic-programming
-
子句头部的算术运算
-
正则表达式是逻辑编程的一个例子吗？
-
Prolog 将列表的所有元素相乘
-
生成带有语法约束的“inverse”解析器
-
Compact vs full/verbose 逆 combinator/operator 在 Curry 中的定义
-
使用 Racket 的逻辑范式的二次函数的零
-
如何在 Prolog 中实现我自己的列表？
-
Prolog：对称规则
-
ALEPH (SWI-Prolog) 中的 WARMR 算法
-
Prolog 对列表元素进行 XOR
-
SWI Prolog 通过命令行参数传递一个非零参数的目标
-
使用 clojure 的 core.logic / minikanren 查找相似集
-
Prolog组合学
-
不动点和证明理论
-
Prolog：如何实现三个中两个最大数的平方和？
-
是否可以使用 pyDatalog 检查是否满足所有数据依赖性？
-
在 Prolog 中枚举二叉树
-
Prolog 和 miniKanren 在逻辑编程方面的主要技术差异是什么？
-
使用约束逻辑对食谱和可用成分进行建模
-
使用不纯原语的 Prolog 谓词的纯度