Prolog将变量追加到列表

Question

我想将一个绑定到数字的变量N附加到列表中。

N = 1.

append([N], [2,3,4], Z).

Z = [N,2,3,4]. //Wrong output!

我想得到Z = [1,2,3,4]

如何附加变量的数字部分，而不是实际变量本身？

Answer 1

恐怕Prolog没有像您以前那样的变量分配，只是变量绑定。 因此，“声明”

N = 1.
append([N], [2,3,4], Z).

实际上构成两个完全不相关的查询 。 幸运的是，可以通过组合查询来达到您想要的效果：

N = 1, append([N], [2,3,4], Z).

如果确实需要全局变量，则始终可以使用事实或asserta/1来动态定义一个变量。

另请注意：将来，您可能需要确保在处理数字时使用is而不是= 。

Answer 2

您正在使用哪个Prolog？ 我知道的所有Prologs都会首先给出N = 1的答案。 这应该清楚地表明，Prolog首先以N = 1回答了查询N = 1 ，乍看起来似乎有些奇怪。 例如，这是GNU：

| ?- N = 1.

N = 1

yes
| ?- 
append([N], [2,3,4], Z).

Z = [N,2,3,4]

yes