问题标签 [instantiation-error]

我有以下问题：

生成长度为 2*n+1 的所有子字符串，由 0、1 或 -1 的值组成，因此 a1 = ...、a2n+1 = 0 和 |a(i+1) - ai| = 1 或 2，对于每 1 <= i <= 2n。这是我在堆栈溢出时发现的，但该解决方案使用了 clpfd 库，我不允许使用任何类型的库：

以上所有代码都可以正常工作（我测试过）。但是使用下面的 genAll 代码，我得到了 Arguments are not enough instantiated 错误。

我不确定出了什么问题。

我正在通过终端在 Mac 上运行 SWI-Prolog。在终端中打开 swipl 后，我试图通过编写通常的方式来访问 Atom 文件：

而不是 swipl 有知识库可以玩，它给了我这个：

我是 Prolog 的新手，我现在的程序只是我的教授提供的用于开始作业的复制和粘贴代码。这是否意味着该错误可能是由于下面的代码中的某些原因造成的，如果是这样，是什么导致了这种情况？这是提供给我的代码：

我在 ECLiPSe 下的 CSP 有问题。我希望在我的密码中添加一个约束，要求 TWO 表示的数字可以被 2 整除。

谢谢你的帮助。

我的代码：

我已经看到了Prolog Prologue的定义between/3：

我不明白为什么它需要递归。的逻辑定义between可能是：

我试过了gprolog，它可以工作，但只适用于简单的查询：

对于带有变量的查询，我得到：

我真的不明白为什么。

我有点想Prolog需要某种参考编号来统一变量，但为什么会出现神秘错误(=<)/2？

您好，我正在尝试创建一个代码，该代码将从输入文件中找到给定字符并打印出它的位置，这就是我“在我发现的类似问题的帮助下”得出的结果

但是编译器会抛出此错误：错误：is/2：参数未充分实例化

这是我在列表中找到最小值的实现：

我不明白为什么会发生这个错误。你能给我解释一下吗？

我想在序言中找到 a+1 的平方和 a 的平方是 2a+1 之间的区别。出于这个原因，我写了这样的代码：

我试过了

任何人都可以帮我解决这个问题。

我正在尝试int(?X)在 prolog 中定义函数，它是一个非零整数生成器，其工作原理如下：

我尝试了以下没有运气：

但我收到以下错误：

我怎样才能使这项工作？谢谢！

我正在尝试解决http://www.zweigmedia.com/RealWorld/tutorialsf4/framesLinProGr.html上的第一个线性规划问题示例。X 和 Y 为零或正数，它们的和最大可达 50，2X+Y 最大可达 60。函数 X+3Y 必须最大化。

我正在使用以下代码：

但是，它甚至不加载（上面指出了错误）。

使用以下代码：

程序加载，但在运行：

我该如何纠正这些错误？

我想有一个谓词isPowTwo/1，它适用于每一个二的幂。这是我的方法：

它工作得很好，如果我给它整数：

但是当我希望它用作生成器时它不起作用：

如何编写一个按升序生成 2 次幂的谓词？

编辑：使用普通整数而不是皮亚诺数很重要。