Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。
我是 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) 模块来计算有效解决方案的数量。目前，为了配合...
我是序言新手。我尝试了这个简单的程序。 男人（拉胡尔）。 人（X）：- 人（X）。 男（X）：- 男（X）。 女（X）：- \+ 男（x）。 女（萨米塔）。 已婚（萨米塔、拉胡尔）。 爱（X，Y）：-结婚（X，Y）。 妈...
我每个元素都需要写一次，例如比利时与法国接壤，它应该自动暗示法国与比利时接壤。 不幸的是，语句 borders(X, Y) :- borders(Y, X)。夫...
我目前正在准备 Prolog 考试，因此我正在尝试做一些示例问题来做好准备。我已经尝试这个有一段时间了，它的任务是创建 intgr/1 以便 ?-intgr(X)。 X=0； X...
没有完全理解Prolog解析器。为什么这会返回 false 而不是 true？
我正在编写一些序言来确定给定的查询是否与语法匹配。 S → F |T N T |ε F → 如果 B 则 { S } |如果 B 则 { S } 否则 { S } B → (T E T ) T → x|y|0 E → > | < N ⇒ +| − | = Now I ...
如何在 PROLOG 中从 (3 2 1 2 3) 制作像 (3 (2 (1) 2) 3) 这样的嵌套列表？ 有一个条件：不允许使用循环运算符、直接访问列表元素的函数或高级
我正在启动 Prolog，由七周七种语言提供，并且在理解 Prolog 如何处理递归方面遇到了一些困难。 给出以下代码： 总和（0，[]）。 sum(总计，[头|Ta...
令 S = [x1, x2, ..., xn] 为不同数字的随机序列。我们可以将 S 的运行定义为： 序列 [x1, x2, ..., xi]，对于 1 ≤ i ≤ n，使得 x1 < x2 < ... < xi, and i = n or xi...
在这个 Clingo 程序中，我定义有 2 辆车、2 个包裹，并且有由包裹和汽车组成的分配，但 Clingo 强制所有可能的分配组合...
假设以下事实已输入到 Prolog 数据库中： father(X, Y) // X 是 Y 的父亲 mother(X, Y) // X 是 Y 的母亲 male(X) // X 是男性 女性...
我是 Prolog 新手，我想编写一个简单的谓词来检查给定值是否在列表中。 我不知道我所学的列表方式是否正确。我被告知这是一辆汽车/c...
我正在尝试在序言中实现一个块世界程序。区块世界是人工智能中的一个众所周知的问题，其本身相当简单。这是我当前的代码： % 定义你的工作中的块...
我在Prolog中编写了一个处理单位转换的程序，但我总是遇到堆栈溢出：你知道为什么吗？
无论重构如何，问题仍然存在，但它会改变，如果我切换第 6 行和第 7 行，我会得到不同的结果？这怎么可能？ 如果相关的话，这是 MacOS Monterey 上的 gnuprolog (
我是序言新手，正在尝试对列表进行求和，例如： a(1,2,3).a(2,3,4).a(4,5,6).a(7,8,9)。 规则1（SUM）：-findall（[X，Y，Z]，a（X，Y，Z），列表），总和（列表，SUM）。 我尝试使用 sum(LIST,SUM) 并且会