Prolog算术加

Question

我偶然发现了一个相当奇怪的问题（对我而言）。

非常简单，我希望在2个整数之间添加。我使用swi

中的plus子句

现在当我这样做时（我在图中计算一些东西）

plus(LatestTime,LengthPath,TimeArrive),

TimeArrive变量是物理地址而不是答案。 现在我试图制作另一个条款

myPlus(Var1,Var2,Result):-
    Result is Var1 + Var2.

这是相同的，所以我开始相信他们的输入变量

是错的

LatestTime,LengthPath

然而，当我'写'时，我会收到整数而不是物理地址。

任何线索？因为我不在想：）

Answer 1

尽可能使用clpfd表示整数值之间的关系！

一般情况下，我认为最好使用clpfd进行所有整数计算，而不是通过(is)/2使用＆＃34;普通的Prolog算法 - 不是只是你考虑的那些＆＃34;可逆＆＃34;。