问题标签 [instantiation-error]

I'm working on an assignment where I have created a parser for a prefix-notation arithmetic language. I need to write a predicate which builds an ast for any given value V (i.e. generate an ast A such that whenever A is evaluated it's value is V). My idea was simple enough:

where ev is the evaluate-predicate. When I run this I get the error on the title concerning this part of the ev-predicate:

where both V and N are unbound. I'm struggling to think of another elegant way to do this, does anyone know how I could make prolog generate integers for these two variables?

I hope this was understandable :)

我是 Prolog 的新手，当我查询时 sortedUnion([1,1,1,2,3,4,4,5], [0,1,3,3,6,7], [0,1,2,3,4,5,6,7]). 出现错误

所以我希望有人能够告诉我我的代码在哪里出错以及为什么出错？

这是我的代码：-

在咨询 GNU Prolog 时，我得到：

我有一个任务，我必须使用 Prolog 解决战舰难题​​。我目前的解决方案遍及整个领域，并将一条船放在它当前所在的坐标上。如果船的任何部分都不允许在那里（我只看给出的船件的总和。）它会放一些水。

上面的行就是你所说的。第一个参数是字段，其中 a~代表水，_代表未知，其他一切都是船的一部分。第二个参数是每列中船的总和，第三个参数是相同的，但对于行。第四个参数是船的大小，最后一个参数是我应该把结果放在哪里。

像这样解决问题将从右上角开始，然后向左和向下填充字段。但是，当由于卡住而需要回溯时，它会失败。使用此示例x将放置在(0,3)错误的位置。当我们到达这一排的尽头时，我们找到了另一条船，并发现出了点问题。她我们回到我们放置的地方x。它现在应该放在~那里，但它告诉我：

我只有一些 Prolog 的基本知识，无法弄清楚哪里出了问题。

任何帮助将不胜感激，我希望这个问题有点清楚。

我正在编写一个小程序，它计算列表中有多少元素不是数字。这是我的代码：

如果我执行这样的代码：

我得到 R = 0 （应该是这样）

但是，如果我在列表中添加一个字符：

然后我收到此错误：

有人可以解释代码有什么问题吗？我是序言的新手。

我在prolog中遇到了二次方程实现的问题。我知道一些基础知识，但同时我无法理解 swish.swi 控制台的输出。如果您对我的错误提供任何帮助或建议，我将不胜感激。

runnign 后出现两个错误equation(2, 0, 1, X).

我对Prolog很陌生，我正在尝试编写一个简单的方法来确定棋盘上的骑士是否可以跳到另一个方格，或者输出一个骑士可以跳到给定方格的所有方格。对于此方法，假设必须始终实例化第一个参数。给定两个参数，它可以正常工作，但我不确定为什么它不会只输出一个。

就像我说的，我对 Prolog 很陌生，所以我不确定我应该如何格式化查询。这个查询是假的。

谢谢你的帮助。

所以，我刚开始使用 Prolog，我不断收到 Singleton 变量 (Quo,C) 和 Argumnets 未充分实例化的错误。

这里制作了一个简单的代码来求 2 个数字除法的商。

我正在尝试创建 Prolog 规则以在 Prolog 中以列表形式枚举“二叉树”。我是 Prolog 的新手。

具有 0 个节点的树是一个空列表：

一棵有 1 个节点的树是：

具有 2 个节点的树有 2 种可能性：

等等。

这是我的规则：

对 0 和 1 的查询显然有效。对于 N=2，它会打印一种可能性，但在我输入分号以获得另一种可能性后会给出错误。N>2 的查询直接报错。错误总是一样的：

我在一些网站上读到了这个错误，但我不知道是什么导致了这个错误。

提前感谢您的帮助。

我是 Prolog 的新用户，我正在尝试缩放和变换地图中的坐标，但在缩放和变换 RULE上出现“未充分实例化”错误。这是我的规则，似乎参数没有充分实例化，请你给我解决方案如何解决这个问题。它接缝问题在于我使用“IS”运算符的比例和变换规则