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

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