如何在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。現在它編譯，但我不清楚你的目標是什麼。希望它有幫助。