SWI-Prolog是Prolog的开源实现，可在Unix，Windows和Mac上运行。
我有一个函数，可以生成这样的子列表，?- f([1,2,3,#,5,6,7,8,#,10,11,12],L)。L = [1,2,3]; L=[5,6,7,8]; L=[10,11,12]; false。当我用变量而不是常量来调用它时，它们......。
如果一个谓词有2个参数，可以这样调用：maplist(member(#),List_of_lists,New)。但是，如果我想以另一种方式调用它，在一个值的列表中迭代，看看是否......。
我试图创建一个exist(X)查询，如果X在prolog数据库中存在，则返回true。Prolog数据库store(best_smoothies,[alan,john,mary],[ smoothie(berry,[orange,blueberry,...)]。
我试图创建一个查询average(X,A)，如果X存在于prolog数据库中，并且如果A是商店内物品的平均价格，则返回true 样本输出 ?- average(best_smoothies,A)。A =...
?- assertz(:- module(foo1, [f1])). true. ?- foo1:assertz(f(1)). true. ?- foo1:f(1). true. ?- foo2:f(1)。正确到： "foo1:f(1)"? 否 ERROR: Undefined procedure: foo2:f1 ERROR: In: ERROR: In: ERROR: [8] ..: [8] ...
Prolog (swi for sharing) 谓词解题法。
我甚至不知道如何开始为下面的谜语写一个排比句谓词。在奥格的土地上，当地人要么是红色的，要么是绿色的， 当地人要么总是说真话，要么总是撒谎。在...
我现在的代码如下。如何给文件添加一个绝对路径或完整路径？我希望将文件保存在与当前工作目录不同的目录中。谢谢。fileName('text.txt', ...
我对prolog超级不熟悉，但我需要它来做一个学校的项目。所以，如果我用了不清楚的语言或不正确的术语，请大家谅解。我的问题是，我的代码没有按照我的意图工作......。
我写了下面的代码，用于转置（有限）列表的（有限）列表（在Prolog中利用足够的懒惰来处理无限的情况，至今我还没有发现）： transpose_opt([],[]) :- ! transpose_opt(L,M) :-......
我是Prolog的新手，我想写一个函数，找到一个遵循某些规则的列表。更具体地说，给定两个数字，N和K，我想让我的函数找到一个列表，其中有K的两个幂 ...
定义谓词summy(+ List, + Limit, -N)，其中List是一个绝对值的数字列表，N是List列表中值小于Limit的数字之和。例如：?- summy([1,...]。
我试图创建一个prolog程序，它接收到的查询以字符串的形式运行（通过json），然后打印结果（成功或失败）。
我有一个问题，关于我如何能使用prolog递归求和，我一直试图做到这一点，但它不计数的第一个元素，我的意思是，例如，如果选择cdmx和nuevoleon之间的距离，它...。
定义谓词summy（List，Limit，N），其中List是绝对值数字的列表，而N是值小于Limit的List列表中此类数字的总和。这就是我所拥有的：* abx（...
我想知道是否有一种方法可以在Swi-Prolog中创建全局数组。据我了解，GNU Prolog通过g_array提供了这种可能性。我正在尝试创建一个使用... ...>
我正在尝试写一个在另一个谓词的“范围”内“存在”的谓词。我需要这个的原因是因为两个谓词都使用相同的非常大的参数/数组，并且...
我正在尝试创建查询elimcol（_，[H | T]，X），该查询将删除矩阵数组中的第n列。我认为，作为一个初学者，我会使事情复杂化，但是在Prolog逻辑中，最好将其称为...
我正在尝试创建查询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 ...