Prolog是最常用的逻辑编程语言。它通过按时间顺序回溯和通过统一的模式匹配来支持非确定性编程。
我有一个代码在最后返回一个列表，我必须在最后添加一个'o'，但是 my_append 函数在测试它时有效但在我运行我的代码时它没有 % 颜色定义 颜色（o）。 c...
如何在 prolog 中创建一个包含每个元素的 prev 和 next 元素的三元组列表列表？
我一直在尝试从列表中取出元素并制作一个包含三个元素的列表的列表，例如： 从列表 [1,2,3,4] 中，结果将是 [[null,1,2],[1,2,3],[2,3,4],[3,4,null]]。 但是我...
如何在 SICStus 4.8.0 中将 UTF-8 设置为 open/3 的默认值
自最近的 4.8.0 以来，SICStus 至少在引用的上下文中支持 Prolog 文本中 ÿ 以上的 Unicode，即在引号标记 (* 6.4.2 *)、双引号列表 (* 6.4 *) 和角色...
我有一个 prolog 程序，其中包含一些谓词，当我查询其中一个谓词时，它会显示真实输出，但不会放置“。”最后转到下一个查询。 茶...
我正在尝试实现一个展开谓词，它接受一个命题公式并返回一个唯一的逻辑运算符是合取、析取和否定的公式。 代码： :- op(1060, yfx, &...
我正在尝试定义一个知识库，其中疾病有一系列症状。这是一个片段： 将 pytholog 导入为 pl diseases_kb = pl.KnowledgeBase() 疾病_kb([ “疾病（糖尿病，[
我正在尝试创建一个序言谓词来解决这个斑马问题，但是它会无限期地运行并且不会产生结果，我该如何解决这个问题。 这是斑马问题： 五个
鉴于程序 foo([]) --> []. foo([开始|休息]) --> 字母数字(开始), foo(休息)。 alphanum(Ch) --> [Ch], { char_type(Ch, alnum) }. 我怎样才能使查询 length(I, 2), phrase(foo(C)...
编写带有多个选择点的 Prolog 谓词（相当于 if-then-else 或 case 语句）时，最好是编写几个具有相同签名的不同谓词，分开...
我想在 Prolog 中替换 DCG 语法中的一系列标记。换句话说，用子列表 B：[b] 替换序列或子列表 A：[a,a,a,a]。 链 -->
我正在尝试编写以下函数： create_APIds（PId，ASA，APIds） ASA：类型列表 [a01-1, a02-2, a03-1] PId：例如 1 之类的 int APIds：返回 ASA 的所有 a0 列表，whi...
这是我的任务，我不知道如何解决它- 卡姆奇亚奥运会 来自普罗夫迪夫索非亚的五个男孩， 普列文、大特尔诺沃和鲁塞。他们是伊万、托多、亚历山大、尼古拉和维克多。 在
我在这上面浪费了一整天，找不到解决办法。由于谷歌没有提供任何其他类似的问题，我确信我一定做错了什么。 我有一个全新的完整安装 swi-pro ...
我正在使用序言来推理平行线的定理。 即，AB || EF 和 CD || EF，导致 AB ||光盘。 当前代码确保 AB || CD 是真的，但是 BA ||光盘是假的。 是……
我正在尝试创建一个获取列表和谓词的谓词。给定列表中满足给定谓词的每个元素都应进入列表 1，否则进入列表 2。 例如。： 分区（>（6）...
我想创建一个子句，如果它的两个布尔参数相等且第三个参数为 1 或者它的两个布尔参数不相等且第三个参数为 0，则该子句将成立。我的第一个 atte...
我正在使用状态空间和 dfs 解决水壶问题，水壶 1 的容量为 4，水壶 2 的容量为 3，显示使水壶 2 中有 2 的路径 % Water Jug 问题在 Prolog 中使用 DFS % 防御...
我目前正在为一个项目与Prolog斗争。我正在尝试编写一种基本上在子组上创建组的方法。 基本上我想在我的查询中得到以下结果： `?- make_list(Lis...
我想做的是从特定成员开始反转列表的内容。例如 [1,2,3,4,5,6,7]，假设我想在 4 处翻转，那么它必须变成 [1,2,3,7,6,5,4]。我写了一个&q...
我有以下代码： 男（查尔斯王子）。 男性（王子安德鲁）。 男（爱德华王子）。 女性（princess_ann）。 女性（伊丽莎白女王）。 child_of（查尔斯王子，伊丽莎白女王）。 的孩子（