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

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