问题标签 [instantiation-error]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票
1 回答
78 浏览

prolog - 为什么 =:= 在变量未实例化时会出错,但 == 不会?

会导致答案“不”,但是

会导致错误:

为什么会这样?当一个是未实例化的变量时,它们的行为不应该相同吗?

0 投票
1 回答
179 浏览

list - Prolog - 平均谓词:参数没有充分实例化

我有一个汽车列表(德语为 auto),其中第一个变量是车牌,第二个变量是速度:

现在我尝试编写一个平均谓词,但它失败并显示错误消息:

错误:参数没有充分实例化

到目前为止我的代码:

我的代码与那篇文章完全等效,尽管我无法弄清楚我的错误。

注意sumKilometer并且cardinal工作正常。

0 投票
1 回答
1130 浏览

prolog - 在prolog中检查树是否为avl-tree。错误

我的程序工作不正常。当我尝试对其进行测试时,我遇到了错误。

我的测试示例:

这是我的代码:

这是我的错误:

0 投票
1 回答
199 浏览

list - Prolog:参数没有充分实例化(列表 1+2+...+n 的总和)

listsum(L, S)如果 L 是从 1 增加到某个 n 的自然数列表(即[1,2,..,n]) ,我需要编写一个正确的谓词。现在我让它适用于这种查询,listsum(L, <any number larger than 0>)但是当我尝试查询时,listsum([1,2,3], S)它说参数没有充分实例化。这是我的代码:

如果有人可以帮助我了解如何以两种方式进行这项工作(同样对于 L 的给定值,查询 S),将不胜感激!

提前致谢。

0 投票
0 回答
115 浏览

prolog - Prolog - 解决逻辑难题

我正在尝试使用 Prolog 并希望能够使用它来解决 LSAT 问题。

我写了以下内容:

我的目标是得到推断:actor("Mark",0)。是假的。

每当我输入 actor("Mark",0). 时,我都会收到以下错误:

有谁知道我怎样才能让马克正确引用杰夫?我觉得这个问题与 Mark 中的变量 D 有关。

0 投票
1 回答
3270 浏览

prolog - Prolog -- 参数没有充分实例化

我试图通过计算玩家和列来检查游戏中的偶数/奇数玩家和偶数/奇数列。在某些时候,似乎我没有正确实例化我的变量。我是这样称呼这款游戏的:

我认为问题在于未正确分配 TotalPlayers 和 TotalCols。

我尝试查看其他问题,但问题似乎有所不同。我是 prolog 的新手,很可能在某个地方犯了一个小错误。

经过一些跟踪,当输入奇数/偶数的组合时,似乎会导致错误。给定两个偶数或两个奇数的输入,程序按预期运行。给定一个奇数和一个偶数的输入,它会中断。

完整错误:

0 投票
1 回答
141 浏览

list - Prolog:变量列表的头部未实例化

我正在编写一个简单的代码,生成一个包含 5 个数字的简单列表,其第一个变量应该是正数,我试图理解为什么这段代码会失败

当我打电话给

它向我显示以下错误:

错误:参数没有充分实例化

当我调试代码时,H变量 intest没有被实例化。

有谁知道为什么?

0 投票
0 回答
88 浏览

prolog - Prolog计算2个列表中非负和的最大距离

我想要找到的是最大 JI(就数组而言),其中第一个列表的元素大于第二个列表的元素并获得最大差异。我的问题是我无法计算我目前在哪个元素中,所以我无法获得最大距离。这是我走了多远:

我得到的最常见错误是:

0 投票
0 回答
61 浏览

prolog - 在 prolog 中评估表达式时发生错误

我对 Prolog 很陌生。我需要在迷宫中找到从SourceDestination的所有路径。

我写了以下子句,这样我就不必明确地写出所有的边缘关系:

接下来,为了找到路径,我执行以下操作:

在运行它时,我查询了以下内容:

这给了我以下错误:

我不明白为什么表达式没有得到评估。

0 投票
2 回答
124 浏览

prolog - Prolog 参数没有充分实例化,R 是 [H|R1]

我已经阅读了一些相同的问题但代码不同的问题,遗憾的是正在发布另一个问题。

我正在关注我的教授笔记并将我的插入语句建模与他们的阶乘函数相同,如此处所示。

我的插入功能是

正在抛出的错误是R[H|R1]希望R1从我的检索insertPos/4并将头部附加到它上面。

我的查询是: