SWI-Prolog是Prolog的开源实现，可在Unix，Windows和Mac上运行。
我正在尝试创建查询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]，[...
我正在尝试编写一个Prolog程序，该程序可以检测无向图中的循环。我已经咨询了这个问题：序言图深度优先搜索，并试图更改dfs ...
我在这里遵循clpfd练习：http://www.pathwayslms.com/swipltuts/clpfd/clpfd.html我有以下解决方案，例如5列1列火车（[[1,2,0,1] ，从工作站到...的％，] ...
我正在尝试实现递归函数，以基于以下公式在Prolog中计算给定列表的算术平均值：来源：递归算术平均值数据库：avg（[]，0，_）。 ...
提供以下数据库：位置（办公桌，办公室）。位置（苹果，厨房）。位置（手电筒，桌子）。位置（“洗衣机”，地窖）。位置（nani，“洗衣机”）。 location（西兰花，...
我正在尝试解决明天要在Prolog中完成的任务。这与飞镖游戏有关，程序应计算出一种方法，可以通过三次飞镖投掷达到输入分数。输入程序应为...
SWI-Prolog分区谓词在REPL中的作用与在程序中的作用不同
我通过SWISH来实现quicksort：qsort（[]，[]）。 qsort（[H | T]，S）：-分区（[X，O] >> compare（O，X，H），T，L，E，G），qsort（L，A），qsort（G， Z），append（[A，[H | E]，Z]，S）。 main：-length（L，...
我使用maplist（getEdgeInfo（Q_From_To），Edges，Edge_Info0）来收集图形中边缘的所有信息。 getEdgeInfo（Q_From_To）返回边的列表，每个列表的信息为...
我有一个分配给我的字符串，然后将其转换为字符串，我应该找到所述列表的最长回文，并将必须从列表中删除的几个字符输出到...
我有两个数字，分别命名为N和K，我想用2的K次幂写N，例如，如果N = 9和K = 4，则N可以是N = 1 + 2 + 2 + 4 （2 ^ 0 + 2 ^ 1 + 2 ^ 1 + 2 ^ 2）。我的程序应该输出类似...
我需要在Prolog中获取一个术语的参数的索引。谓词arg / 3似乎与我需要的相反：arg（Index，Term，Value）。如果Index是变量，则arg / 3失败，因此无法...
如果我已将Prolog HTTP服务器绑定到端口9000上的localhost，如何使Prolog为图像生成正确的路径？例如，如果我的.pl文件和.jpg或.png文件位于...
我试图从第6章有关LPN的练习中解决以下问题！：编写一个谓词集（InList，OutList），该谓词集将任意列表作为输入，并返回其中每个列表的列表...
我是新手，因此请练习练习。目前，我对第5行的错误感到困惑，语法错误：运算符优先级冲突。这可能是由于逻辑的嵌套，...
我需要使用write（）打印到流中，但是我不知道如何打印'空白'空格。例如，我想写10 3 5 3 6 write（'10 3'）只写10 3（...
我正在为我的大学做Prolog评估，我需要一些帮助。我不想解决我的问题，而只是解释某些序言机制。我递归地选择元素...
此程序将使用SWI Prolog进行测试。 Family.pl包含有关家庭成员（与谁结婚）的事实。必须在底部添加规则，然后提交修改后的文件。 ...
我的目标是将列表中的元素增加三倍。例如，查询为？-Three（[a，b，c]，X）。然后，预期输出为X = [a，a，a，b，b，b，c，c，c]我不知道该怎么做，...
我想编写一个接收列表的谓词，如果列表的第一个元素为'＃'，则为true，但我不希望它统一以防万一。例如 ？ -列表= [＃，_，_，_]？ -mypredicate（...
我发现prolog DCG功能强大，但是我不确定是否可以提取某些2D列表，以便可以用上下文无关文法S表示它-> [A | B] A-> [0,0,0,0,0] A-> NULL B-> [...