问题标签 [instantiation-error]

我是 Prolog 的新手，目前正在研究一个简单的约束规划问题。所以我有四个实数 A、B、C、D，其属性为 A+B+C+d = A B C*D = 7.11 由于使用整数更容易，我尝试了以下实现：

由于以上将给我部分解决的答案，我尝试将关键字label(Vars)放在最后。但这会导致我的执行grocery(V)产生

虽然grocery([V])会给我一个false. 谁能告诉我如何做标签？谢谢

编辑：我之前没有调用库 clpfd

我正在编写一个 Prolog 谓词，它将前三个元素从编号列表中删除并打印结果。编号列表的示例：

普通列表的原始谓词如下所示：

因此，由于长度谓词也适用于编号列表，因此我只需要编写将一个编号列表附加到另一个列表的谓词：

我希望编号列表的谓词是普通列表谓词的略微修改版本，所以我写了这个：

但是，我收到此错误：

有人可以解释导致错误的原因以及如何避免它吗？我是 Prolog 的新手。

我是 Prolog 的新手。我写了一个很短的程序如下：

当我运行它时，我遇到以下问题：

为什么会发生错误？如何修改代码以实现相同的目标？谢谢大家帮助我！！！

我帖子末尾的代码应该回答以下难题：

布朗、克拉克、琼斯和史密斯是 4 位重要的公民，他们以建筑师、银行家、医生和律师的身份为社区服务，尽管不一定分别。布朗比琼斯更保守，但比史密斯更自由，他的高尔夫球手比比他年轻的男人更好，收入也比比克拉克大的男人高。比建筑师挣得多的银行家既不是最年轻的，也不是最年长的。

打高尔夫球比律师差的医生，也没有建筑师那么保守。不出所料，最年长的人最保守，收入最高，最年轻的人是最好的高尔夫球手。每个人的职业是什么？

当我尝试启动代码时，出现错误：

代码是：

我正在学习序言，我想计算列表中特定元素的出现次数。

所以这里是代码 -

所以基本上我想传递给控制台检查（[3,4,3]，[2,3,4,5,2]），它应该返回 true，因为 list1 中 3 的出现与清单 2 中的 2。但相反，它让我 -

这是什么原因，我该如何解决？我检查了所有论坛，并且到处都写着这应该可以工作。这是某种与版本相关的东西，还是我真的在这里遗漏了什么？

编辑：使用SWI-Prolog。

编辑2：

搞定了，谢谢！

代码：

我做了一个计算列表长度的函数。下面是我的代码。

当我使用输入运行此代码时

?- listLength([1, 2, 3, 4, 5, 6, 7])。

然后，解释器向我显示了错误消息solve/2 : Arguments are not sufficiently instantiated.

当我修改上面的代码时，如下所示。

当我使用相同的输入运行此代码时，总是写入0 。

我想计算 LENGTH，我想在 listLength 函数中使用变量。

我怎么了？（请注意，我使用的是 swi-prolog。）

I want to create a program, which should determine the differences between two lists with equal length and give out the number of differences in a variable. My code so far is:

The program works for two identical lists, but it doesn't count the differences between to lists, for example "difference([1,2,3],[1,2,4],N)" gives me the error "Arguments are not sufficiently instantiated". How to fix this?

Thanks in advance!

我读了一个小时的代码，但我无法理解问题出在哪里。我读到这个错误意味着我使用了一个我之前没有实例化的参数，但我看不到它在哪里。你能帮助我吗？

我不会包含 as/is_polynomial 的代码，因为我之前已经使用过它，而且我对那段代码没有任何问题。你能帮我吗？我试过的一个例子是 maxdegree(x^5+y^500+4, R)。（对于 mindegree 也是一样）

我是 Prolog 的初学者，有两个要求：

1. f(1) = 1

2. f(x) = 5x + x^2 + f(x - 1)

规则：

f(1,1). f(X,Y) :- Y is 5 * X + X * X + f(X-1,Y).

询问：

f(4,X).

输出：

ERROR: is/2: Arguments are not sufficiently instantiated

如何添加 f(X-1) 的值？

我正在尝试从 3 个给定数字中找到最大、中间和最小数字。代码是：

当我尝试使用任意三个数字运行该方法时，出现此错误

为什么我会收到此错误？