prolog - 语法错误: Operator expected (SWI Prolog)

我遇到了问题:语法错误:应为运算符
这是我的代码

reduceBy1(Input,Output) :-
    (Input > 0 -> Output = Input - 1).

我究竟做错了什么？错误指向“。”

最佳答案

您应该使用is而不是=。

reduceBy1(Input,Output) :-
    (Input > 0 -> Output is Input - 1).

?-reduceBy1(5,O).
O = 4