添加谓词的两个非静态参数

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.
会工作。