【发布时间】：2019-08-20 21:07:01
【问题描述】：
我是 clgo 的初学者，我一生都无法弄清楚如何获得给定原子的最大值。
例如
x(1..9).
x_max(X) :- x(X), x(Y), X>Y.
在这种情况下我希望得到的结果是x_max(9)。
【问题讨论】：
标签： max answer-set-programming clingo
【发布时间】：2019-08-20 21:07:01
【问题描述】：
试试这个：
max_x(X) :- x(X), #max {XX,1:x(XX)} = X.
【讨论】：
-
虽然这段代码可以回答问题，但最好解释一下如何解决问题，并提供代码作为示例或参考。仅代码的答案可能会令人困惑且缺乏上下文。
-
我不明白为什么会有XX而不是X