logic-programming - clingoで個別の値だけでなくすべてを合計する方法は?

Question

次のコードは、1 が 2 回表示されますが、1 と 2 を加算するためではx(3)なく生成します。クリンゴで合計x(4)金額を取得する正しい方法は何ですか?

p(0,1;1,1;2,2).
x(X) :- X = #sum { Y: p(_,Y) }.