SWI-Prolog是Prolog的开源实现，可在Unix，Windows和Mac上运行。
我在这里遵循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-> [...
您好，我尝试使用swi prolog编译.pl文件（在Windows计算机上）。现在我可以理解，首先我应该给这样的文件：['Users \ Ask \ Documents \ Prolog \ firstpro.pl'] ...
所以我的问题是，我有这个谓词equal（X，Y），它基本上说X等于Y，并且只要它们具有相同的长度就统一它们，但是我想要的是谓词...