SWI-Prolog是Prolog的开源实现，可在Unix，Windows和Mac上运行。
Swi Prolog Editor 只显示 false，不显示 true
假设我的知识库包含一个事实： 事实（事实1）。 如果我知道提交查询事实（fact1）。 39？ - 事实（事实1）。 40？- 它什么也没说，相当于 true。 B/c 如果错了，亲...
我正在使用SWI-PROLOG。 给定一个列表，其中几乎所有元素都是复合术语，例如： ?- MyList = [json([a=1, b=2]), json([a=4, b=1]), 999, json([a=7, b=2])]。 我只想过滤化合物...
我有上面的代码，我不确定当调用has_divisor时会调用两个has_divisor子句中的哪一个。谁可以给我解释一下这个？ is_prime(2)。 is_prime(3)。 is_prime(P):- ...
我尝试了解 swi-Prolog 中的聚合是如何工作的。 因此，我使用带有属性 Employee_Id、Projectnumber、Hours 的works_on 表。 在 Prolog 中，该表的事实看起来像
我正在使用一个 Prolog 数据库，该数据库包含一组具有属性和值的实体。我想输出每个实体及其每个属性和值。 我对 Prolog 很陌生，...
每次我在源文件中进行更改时都必须手动重新查阅我的序言，这让我有点恼火。 我可以让它自动运行吗？我在 vscode 上搜索了一些扩展...
SWI Prolog - 在广度优先搜索中使用assertz()和retract()
我正在尝试使用assertz()和retract()在SWI Prolog中编写广度优先搜索。但我遇到了一些问题，希望得到一些指导。我猜我正在做一些愚蠢的事情。 :-
抱歉，如果这是一个愚蠢的问题，但我仍处于学习 Prolog 的早期阶段（SWI-Prolog，以防它有所作为），并且可能会做一些愚蠢的事情。 我正在尝试写一个谓词
我是 Prolog 新手。 我正在尝试使用序言搜索简单路径，但只找到基本情况（长度1或0）。 怎么了？ 代码 我参考几个例子重写了递归部分
我正在开发一个程序，该程序读取文本文件并按升序显示前 10 个最常用的单词并打印出来。我已经定义了停用词/连接词并将代码写入
我正在用 Prolog 编写并且不断收到错误； 语法错误：当前或先前的运算符需要括号 当引用 te=he 以下代码时： convert_to_tokens([Word|Rest], [Token|RestTokens...
需要实现一个swi-prolog程序，实现对无向图中所有圈的搜索，并输出结果，不重复。 例子： ？-find_cycles([a-[b,c,d],b-[a...
我是 Prolog 的新手，我正在做这个项目。我有关于英国君主制的数据，我正在研究一个“继承人”规则，该规则可以找到王位继承人或告诉我我的输入是否......
我正在尝试实现一个展开谓词，它接受一个命题公式并返回一个唯一的逻辑运算符是合取、析取和否定的公式。 代码： :- op(1060, yfx, &...
我正在尝试创建一个序言谓词来解决这个斑马问题，但是它会无限期地运行并且不会产生结果，我该如何解决这个问题。 这是斑马问题： 五个
我在这上面浪费了一整天，找不到解决办法。由于谷歌没有提供任何其他类似的问题，我确信我一定做错了什么。 我有一个全新的完整安装 swi-pro ...
我想创建一个子句，如果它的两个布尔参数相等且第三个参数为 1 或者它的两个布尔参数不相等且第三个参数为 0，则该子句将成立。我的第一个 atte...
我是 prolog 的新手，想知道是否有人可以解释以下过程，因为我很难理解执行此过程时 prolog 遵循的分步过程。我会...
ld.exe 在将 c 文件传递给 swipl-ld 时给出“对‘PL_initialise’的未定义引用”（以及在 SWI-Prolog.h 中声明的其他函数）错误。 我在 Windows 11 上使用 SWI-Prolog。 我安装...
我将包含一个代码片段以供查看，请帮忙，我刚刚进入序言，我知道我犯了很多错误，但我不确定如何解决它们，请帮忙 祖父母（X，Y）。 :- 格兰...