添加謂詞的兩個參數是不是靜態

Question

我試圖把兩個數相加在一起

add(num1, num2, output) :- 
    output is num1 + num2. 

假設X是1，Y是3，但他們不是一成不變的，只是變量。
add(X, Y, out)。

我得到一個錯誤error(instantiation_error,(is)/2)

有什麼建議？

Answer 1

Prolog是區分大小寫的語言，變量名必須是由字母，數字和下劃線字符組成的字符序列，並且必須以大寫字母或下劃線字符開頭。

因此，
add(Num1, Num2, Output) :- Output is Num1 + Num2.
會工作。