math - Prolog - 声明算术子句

Question

一个简单的问题，我将如何声明一个子句来产生指定的数字 +1 +2 和 +3？我试过:

addup(Thenumber,Thenumber+1).
addup(Thenumber,Thenumber+2).
addup(Thenumber,Thenumber+3).

但是当我用 Thenumber=5 运行它时，它只返回 5+1 5+2 5+3。我试过使用"is"来强制它进行评估，但它似乎不起作用。任何帮助将不胜感激。

Answer 1

试试这个:

addup(X, Y) :- Y is X + 1.

或

addup(X, X+1).

你的问题应该是 addup(2, X)

那么 X 应该是 3。如果你想参数化你的 addup 参数，就这样吧:

addup(X, Y, X + Y).

然后用 addup(5, 6, X) 询问。