逻辑连接器和量词是否只是逻辑编程范例中运算符的另一个术语？
我正在学习逻辑编程范例，我的教授谈论命题中的量词...
是否存在允许您做出类似于人的高阶语句的正式系统？
对于人类来说，做出高阶陈述是很自然的。例如，您可...
用于声明一个对象大于另一个对象的Prolog谓词？
我正在尝试编写一些简单的Prolog代码来比较对象，并...
通过使用算术运算基于谓词属性进行过滤来从其他谓词写谓词
我想从mondial的现有谓词中写一个谓词。我感兴趣的谓...
NU-Prolog 和 Gödel 的逻辑和合理的“if-then-else”扩展
关于 <a href="https://www.sciencedirect.c...
“几乎纯粹的”Prolog 是否具有表现力？
@<a href="https://stackoverflow.com/users...
clingo 中的谜语
因此，在标签序言中，<a href="https://stac...
在Prolog中查找连接到顶点的所有节点
我对寻路算法很好奇，所以我看了一下 Dijkstra 的。...
找到满足某些条件的 16 位数字的最优雅的方法是什么？
我需要找到所有 16 位数字的三元组 (<code>x&...
最大化 clingo
我有以下 clingo 代码来生成搜索空间，后跟约束。 &...
“生成数字”拼图
我遇到了以下难题，无法在 Picat 中制定解决方案： ...
在 Prolog 中保留值
我们可以说： <pre><code>Sum is 0. Su...
为什么 miniKanren 中的“disj”在 Scheme 中有效，而在 Racket 中无效？
我正在使用 Racket 的 minikanren 库，但想使用“di...
寻找算法/研究领域，以确定在给定 Prolog 程序的情况下使 Prolog 查询为真的事实
我正在为这个研究领域寻找研究、算法甚至术语，这些...