问题标签 [instantiation-error]

我正在尝试匹配我正在创建的事实的子集，并且我的测试用例运行良好！

然后我添加了一个事实来代表我的下一个潜在案例，现在它已经很糟糕了。我是 Prolog 的新手，我不确定这是为什么或如何解决它。

欢迎提出建议。

我正在尝试创建一个程序来打印一个区间内有多少平滑数字。部分代码在这里：

还有一个谓词primes可以创建从2到的所有素数B。

例如，如果B = 11，那么FilPrimes = [2,3,5,7,11]。

当我countsmooth像 ?- countsmooth(1, [2,3,5,7,11,13,17,19,23], 1, 100000000, Count). 我得到一个结果。

但是当我打电话时smooth，我?- smooth(2,100,10000,Smooths). 收到以下错误：

我正在学习 Prolog，作为练习，我正在试验一个简单的数据库，该数据库计算所有数字的总和，直到给定数字（即 0=0、1=1、2=3、3=6、4 =10，...）。很简单：

这会counting_sum(150000, X).因堆栈溢出而爆炸。我知道 Prolog 可以进行尾递归，但是如果我将递归调用移到规则的末尾，我会得到

我假设告诉我PrevSum在它与counting_sum(PrevNum, PrevSum). 这是正确的，有没有办法使这个尾递归？如果这有什么不同，我正在使用 GNU Prolog 1.3.1。

PS我仍然对术语感到不安。让我知道我是否错误地使用了这些术语。

For my "Declarative Languages" class we have to write a prolog program that solves Tangram puzzles. A puzzle is identified by a list of coordinates of the points of the puzzle. For example, puzzle(7,[(0,0),(8,0),(4,4)]) is a puzzle with identifier 7 and represents a triangle.

Here is my (naive) way of solving this. The execution starts with calling tangram(Puzzle, Puts). The program starts with all the possible pieces of the puzzle. I then pick a piece, try a position and a rotation and if this gives a valid position for the puzzle, I place the puzzle. (= place the block in the Puts list, which will be returned at the end of the program.) I backtrack over all these possibilities. Here's the code:

Some possible puzzles:

The problem when I run this is that I get the following error:

When tracing it seems that somehow the TX and TY values in Translate aren't instantiated. Tracing back I think that somehow X and Y don't get instantiated in the placePieces predicate. If there were no values left, the predicate would just fail, right?

I have been looking at my code for over 5 hours and can't seem to find my mistake. Hopefully one of you has the time to look this over and set me back in the right direction.

Thanks in advance!

不断收到Arguments are not sufficiently instantiated我写的乘法乘法规则的错误，如下所示。

我是 Prolog 的新手，即使是这样简单的问题也很挣扎。

任何关于书籍或在线教程的建议都会很棒。

我在 Ubuntu Linux 上的 SWI-Prolog 上运行它。

我做了一个 Prolog 谓词posAt(List1,P,List2)来测试位置 和 的元素P是否List1相等List2：

测试时：

我期望输出，X = 2但我收到以下错误：

ERROR: >/2: Arguments are not sufficiently instantiated

为什么我会收到此错误？

我试图编写一个 Prolog 脚本，它可以创建一个字符串列表，在一个简单的过程之后会产生一个给定的字符串。我对 Prolog 的了解非常有限，我什至不确定它是否能够执行此操作，所以请告诉我是否不可能。

到目前为止我得到了这个

它可以执行此操作

但它不能回溯它

我可以想象是什么导致了这个问题，但是有没有办法解决它？

我正在尝试运行此代码，但每当我使用此查询时都会收到此错误：gp174(P, S). ERROR: >=/2: Arguments are not sufficiently instantiated.

这是我的代码：

我该怎么办？
我应该在哪里加载我的 clpr 库？

我正在使用 Prolog 中的 URI 解析器，但目前我遇到了一些更简单的东西。我正在探索一个字符串以找到一个特定的字符“：”，当我找到它时，我想要一个只包含它之前的连接字符的字符串。

这个程序：

给出这个结果：

我认为那部分是正确的，但现在我想将 char 列表转换为字符串，所以我将最后一行更改为：

但我收到此错误消息：

错误：string_to_atom/2：参数没有充分实例化

我可能错过了一些东西。你能说出它是什么吗？

so i assert the gamemap/3 with value 'O' gamemap(X,Y,'O') with X and Y from 1 to 10 and i get this error at this code V2=:= "O"if one of the V values is not 'O',can anyone help ? everything is instantiated but i saw in debugger that if the value is different from 'O' it does a rollback to the gamemap(X,Y,V) and probably deletes the value or something, what can i do to stop this, i want so that if the value is not 'O' to check the other comparisons not to do the rollback.