如何在Mozart中使用绝对值？

Question

我试图获得表达式的绝对值Z=:X-Y，但它不起作用。这里是我的代码：

declare PSO 
proc {PSO W} 
    X Y Z W 
in 
    X=5 
    Y=2 

    Z=:Y-X 
    W=:Abs(Z) 

    W=w(w:W) 
    {FD.distribute ff W} 
end 
{ExploreOne PSO} 

我想知道我做错了什么，以及如何解决它。

Answer 1

我注意到了一些事情： 在第一行中，您可以省略PSO，因为您正在声明它正在写它的主体。我完全不能理解你的代码，但是Abs是一个函数，所以你必须编写W = {Abs Z}以获得Z的绝对值W。现在它编译，但我不清楚你的目标是什么。希望它有帮助。