Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。
我想在Picat中快速创建一个结构。但在创建结构时应评估结构的组成部分。到目前为止，我尝试过，当组件是
Hilog 项（即具有函子任意项的化合物）仍然被视为 XSB Prolog（或任何其他 Prolog）中的强大功能吗？ 目前有很多XSB项目在使用这个功能吗...
Prolog 模块的 ISO 标准 (ISO/IEC 13211-2) 有哪些（感知到的）缺点？
Prolog 模块的 ISO 标准并未被广泛采用。我发现唯一可以实现它们的系统是 Amzi！序言。大多数系统没有采用ISO标准的原因是什么...
CLP(FD)中的具体化谓词可以用来检查逻辑表达式的相等性吗？
根据文档（A.9.12节），CLP(FD)约束如#>、#=、#/\等可以具体化。 约束#<==>/2 应该是 真当且仅当 P 和 Q 相等 手风琴...
所以我有一个程序，它有一个谓词，用给定的新元素替换列表中某些元素的第一次出现，并生成一个新列表。我是这样做的： 更改Fst（旧E，[旧E...
Prolog 似乎无法返回查询的某些特定答案。我在 SWI-Prolog 中编写了一段简短的代码，其中我尝试检查给定的二进制向量 C 是否可以
在 Prolog 中， [a，b，c] = [a，b，c | []] 但是，我对 [a, b, c | 的头部] 感到困惑[]] 是？ 如果 [a, b, c] = [a, b, c | []] 为什么事实并非如此： [a，b，c] = [a，b，c | []] = [[a，b，c ...
Prolog 中的文字和谓词有区别吗？ 而且，如果我没记错的话，文字与真值相关，但术语则不然。可是，为什么我们还是说每...
我预先道歉，因为我怀疑这是一个基本的序言问题。 我有以下知识库来定义家谱 男（詹姆斯1）。 男（詹姆斯2）。 男（查尔斯1）。 男（查尔斯2）。 男（乔治...
https://i.ibb.co/q0zXPGv/qe.jpg 在Prolog中，我们可以引入一个关于边缘方向的谓词来表示上图： 边（s，a）。 边（a，b）。 我们进一步引入一个关于节点的谓词
我需要序言中的代码。 假设我们在家谱中定义了一些人。 如果他们具有同一代并且谁是同一祖先，我如何编写一个函数来获取两个人的姓名和过程......
我想知道如何对作为我函数的输入参数的魔方运行 BFS 算法。到目前为止，我已经创建了函数rotateUp（cubeIn，cubeOut），rotateDown（cubeIn，cubeOut2），rotateFront（
我使用CLP(FD)和SWI-Prolog编写了一个CSP程序。 有些约束看起来像 Xi mod N #= 0，所以我必须为每个变量 Xi 调用 res(Xi,Li) （使用 res(X,L) :- setof(X, indomain(X), L)）。 ..
我是 Prolog 新手，我正在尝试编写一个谓词，其中矩阵如 M = [[_, _, a, ], [, _, _, ], [a, a, a, a], [, _, a, _]], 给出了一个字母和一个坐标，我需要替换它
我有一个序言作业，我无法正确解决。 目标是找到给定列表的所有可能的子序列，这些子序列一起覆盖整个列表。 例如对于列表：[a,b,a,b...
我正在学校使用 prolog 解决逻辑难题。线索如下： 布朗、克拉克、琼斯和史密斯是四位为他们的人民服务的重要公民 社区作为建筑师、银行家、医生和
著名的 Busy Beaver 函数测量了最复杂的图灵机，其大小为 n 个状态和 m 个符号，然后就停止了。在一个版本中，机器从空白胶带开始并测量...
为什么查询出现错误：“query(member(one, [one,two, Three])).”在 Problog 中？
我是 Problog / Prolog 的新手，无法理解为什么在使用成员函数进行查询期间发生错误。 任何帮助将非常感激。 在 Problog 中，我正在尝试...
我有以下程序： 取决于（集合，元素）：- 属于（元素，集合）。 取决于（集合，元素）：- 取决于（集合，子集）， 属于（元素，子集）。 用户（u1）。 用户（u2）。
我正在使用以下 SWI-Prolog 版本：适用于 x86_64-linux 的 SWI-Prolog 版本 9.1.2。 我正在尝试使用 Prolog 和 CLP(FD) 模块来计算有效解决方案的数量。目前，为了配合...