序言追加變量列表

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？我知道的所有序言，將首先產生一個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