如何將結果存儲到prolog中的變量中？

Question

我似乎無法找到描述如何存儲查詢結果的資源，以便我可以將其用於下一個查詢。

剛剛從查詢中獲取布爾值怎麼樣？

Answer 1

謂詞沒有返回值。 你可以做什麼來模擬一個返回值是添加另一種說法：

add_numbers(X,Y):- 
    Return is X+Y. 

將成爲

add_numbers(X,Y,Return):- 
    Return is X+Y. 

，當你調用它，你將使用一個變量：

?- add_numbers(4,3,Result). 
Result = 7. 

請注意，您也可以這樣稱呼它：

?- add_numbers(4,3,7). 
true 

也：

?- add_numbers(4,3,8). 
false 

，但它是不可能做到的通話add_numbers(X,2,7，因爲我們使用的運算。然而，很多謂詞可以用於任何你想要的。例如，prolog有一個內置謂詞append/3。 通常你會使用這樣的：

?-append([1,2],[3,4],X). 
X=[1,2,3,4] 

，但你也可以使用這樣的：

?- append(X,Y,[1,2,3]). 
X = [], 
Y = [1, 2, 3] ; 
X = [1], 
Y = [2, 3] ; 
X = [1, 2], 
Y = [3] ; 
X = [1, 2, 3], 
Y = []