在 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.