Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。
定义谓词summy（List，Limit，N），其中List是绝对值数字的列表，而N是值小于Limit的List列表中此类数字的总和。这就是我所拥有的：* abx（...
我如何获得一个谓词的所有解的总和（给定解的集合是有限的？）>
modThreeModFive（X）：-X> 0，X <1000，0是mod（X，5）; 0是mod（X，3）。我想知道，假设...
以下代码做什么？ not（P）：-P，！，失败。不是（P）。以及与以下两个代码的工作方式有何不同：not（P）：-P，！，失败。 not（P）：-P，！。
到目前为止，我已经做了相当多的研究，并且尝试了不同的方法，但是即使在读取了多个堆栈溢出答案甚至是Addison Wesley的PDF之后，我仍然找不到解决方法...] >
我从这里得到了一个特定的问题，并希望在Cplint上实现，因为我现在正在学习ProbLog的原理，因此从上述模型中我们得到了一个红色的模具，具有六个侧面，标记为1到6。...
如何排除/忽略所有者的审核投票（+2）以在Gerrit补丁集中提交
我想阻止补丁集的所有者审查并在Gerrit中对其补丁集进行投票。 Currenlty我正在使用以下代码-sum_list（[]，0）。 sum_list（[H | Rest]，Sum）：-sum_list（Rest，Tmp），Sum为H + ...
我已经解决了一些练习，在这些练习中，我只需要统一以下形式的表达式f（..）= f（...）。现在我必须解决一个类似的问题，但是有3个表达式：f（x，f（x，g（y））），f（u，z）和f（g（y），...
由于我是Prolog的新手，所以我制作了这个程序，但是遇到很多麻烦可以帮助我吗？下面是我的代码：android（samsung，s10，brown，90000）。 android（huwawei，mate10lite，black，34000）。 android（oppo，...
我想按升序对列表进行排序，但不使用内置函数是可能的吗？ 5 9 3 4 7 10 2 1 5 6如果是，那么如何？
由于我是pro log的新手，所以我制作了此程序，但是遇到很多麻烦，有人可以帮助我吗？下面是我的代码：android（samsung，s10，brown，90000）。 android（huwawei，mate10lite，black，34000）。 android（oppo，...
在uni的分配中，我被要求为由谓词backup / 5表示的假设备份创建时间表。第一个参数是服务器类型，其值是：db，web第二个...
我需要在Prolog中编写除法和余数谓词（是两个谓词），而无需使用内置算法。它需要是新的谓词：除（X，Y，Z）表示X的整数结果...
基于我们有1个列表，并且我们希望计算在该列表中找到每个元素的次数，并针对显示N的每个元素X创建一个新列表，其中包含格式为N * X的元素。 。
我想知道是否有一种方法可以在Swi-Prolog中创建全局数组。据我了解，GNU Prolog通过g_array提供了这种可能性。我正在尝试创建一个使用... ...>
我正在尝试写一个在另一个谓词的“范围”内“存在”的谓词。我需要这个的原因是因为两个谓词都使用相同的非常大的参数/数组，并且...
我正在尝试将不同的值加在一起，假设我有这个：％person（Name，Points）。人（piotr，3）。人（丹尼尔，4岁）。人（marlena，4岁）。人（grzegorz，1）。人（ania，2）。人（...
我正在尝试创建查询elimcol（_，[H | T]，X），该查询将删除矩阵数组中的第n列。我认为，作为一个初学者，我会使事情复杂化，但是在Prolog逻辑中，最好将其称为...
我在理解Prolog中DCG的语法和用法时遇到麻烦。我正在使用的代码是一种语法解析器，类型为“ a = 1 * 2 +（3-4）/ 5”，这里是对它的选择：factor（factor（...（ >
我在理解Prolog中DCG的语法和用法时遇到麻烦。我正在使用的代码是一种语法解析器，类型为“ a = 1 * 2 +（3-4）/ 5”，这里是对它的选择：factor（factor（...（ >
我正在尝试创建查询elimrow（_，[H | T]，X），该查询将删除矩阵数组中的第n行。样本：β-elimrow（-3，[[[1,2]，[3,4]，[5,6]]，X）。 => X = [[1,2,3,4,5,6]]-elimrow（2，[[1,2]，[3,4]，[...