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

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