在 Clingo 中找到一个原子的最大值
Find the maximum of an atom in clingo
我是 clingo 的入门者,我终其一生都无法弄清楚如何获得给定原子的最大值。
例如
x(1..9).
x_max(X) :- x(X), x(Y), X>Y.
在这种情况下我希望得到的结果是 x_max(9)
。
试试这个:
max_x(X) :- x(X), #max {XX,1:x(XX)} = X.
我是 clingo 的入门者,我终其一生都无法弄清楚如何获得给定原子的最大值。
例如
x(1..9).
x_max(X) :- x(X), x(Y), X>Y.
在这种情况下我希望得到的结果是 x_max(9)
。
试试这个:
max_x(X) :- x(X), #max {XX,1:x(XX)} = X.