Max 求一个原子的最大值

Max 求一个原子的最大值,max,answer-set-programming,clingo,Max,Answer Set Programming,Clingo,我是clingo的初学者,我一辈子都不知道如何获得给定原子的最大值。 e、 g 在这种情况下,我希望得到的结果是x_max(9)试试这个: max_x(X) :- x(X), #max {XX,1:x(XX)} = X. 虽然此代码可以回答问题,但最好解释如何解决问题,并提供代码作为示例或参考。只有代码的答案可能会令人困惑,并且缺乏上下文。 max_x(X) :- x(X), #max {XX,1:x(XX)} = X.

我是clingo的初学者,我一辈子都不知道如何获得给定原子的最大值。
e、 g

在这种情况下,我希望得到的结果是
x_max(9)

试试这个:

max_x(X) :- x(X), #max {XX,1:x(XX)} = X.

虽然此代码可以回答问题,但最好解释如何解决问题,并提供代码作为示例或参考。只有代码的答案可能会令人困惑,并且缺乏上下文。
max_x(X) :- x(X), #max {XX,1:x(XX)} = X.