序言 - 合計：提取其他變量比最低

Question

我想知道是否有一種方法來提取，當我這樣做了X值：

aggregate_all(min(V), simulate(P, Color, V, X), Value) 

的模擬謂詞使用P和顏色作爲輸入和V和X作爲輸出。

現在，這能很好地得到V的最小值，但我真正想要的是得到X值時V處於最小。

有沒有辦法做到這一點？任何關於我應該如何繼續的想法？

Answer 1

總庫支持的最小/最大標量集合了「證人」：那麼這應該工作

aggregate_all(min(V,X), simulate(P, Color, V, X), min(Value,X))