为什么我的序言规则陷入无限递归
我的代码可以达到预期的目的，但总是在最后陷入循环...
在序言中难以思考无限递归问题
在阅读序言书时，我遇到了这个问题的麻烦。 <pre...
Prolog初学者错误：超出本地堆栈
我对Prolog编程非常陌生。任何帮助是极大的赞赏。 我...
如何递归表达“祖先”
我受困于这种递归，这并不符合我的预期。 我的错误在...
将列表从findall谓词转换为字符串序言
我正在努力寻找一种将列表转换为字符串的方法。此列...
如何在Prolog中获得not效果
我正在尝试创建一个递归调用自身的规则，并找到遍历...
在 Magma 中定义一个新的归约算子
标题或多或少说明了一切，我想定义一个新的归约运算...
如何搜索“间接阻止特定错误的所有错误”？
在 Bugzilla 的搜索界面中，很容易（ish）搜索阻止特...
如何绘制传递闭包？
所以我试着做它，但我做不到。我不明白我什么时候应...
如何在房间数据库中使用递归 CTE 构建闭包表
下面的类是从 API 调用返回的结构，减去主键、父 ID...
更好地理解序言
我正在尝试了解 Prolog 及其使用的解析算法。我找到...
Prolog，找熟人的熟人
我有以下 prolog 程序（使用 SWI-Prolog v7.6.4）。...
R中邻接矩阵的传递归约
我有一个成对矩阵，我可以将其视为图的邻接矩阵。我...