answer-set-programming - 在 Clingo 中对多个值求和

Question

我正在计算 cligo 中多个字段的总和：

x(1,2,3).
x(4,5,6).
x(7,8,9).

y(A,B,C) :-
    A = #sum { A1, B1, C1 : x(A1,B1,C1) },
    B = #sum { B1, A1, C1 : x(A1,B1,C1) },
    C = #sum { C1, A1, B1 : x(A1,B1,C1) }.

这行得通。输出是：

x(1,2,3) x(4,5,6) x(7,8,9) y(12,15,18)

但是，这很乏味。我非常想要的是一次总结它们（不工作）：

z(A,B,C) :- (A,B,C) = #sum {(A1,B1,C1) : x(A1,B1,C1)}.

输出是：

test.lp:10:30-38: info: tuple ignored:
  (1,2,3)

test.lp:10:30-38: info: tuple ignored:
  (4,5,6)

test.lp:10:30-38: info: tuple ignored:
  (7,8,9)

有没有办法简化我的第一种方法？

Answer 1

为了简化您的方法，而不是这样做：

y(A,B,C) :-
    A = #sum { A1, B1, C1 : x(A1,B1,C1) },
    B = #sum { B1, A1, C1 : x(A1,B1,C1) },
    C = #sum { C1, A1, B1 : x(A1,B1,C1) }.

你可以简单地做：

y(A, B, C) :- A = #sum{(X) : x(X,_,_)}, B = #sum{(X) : x(_,X,_)}, C = #sum{(X) : x(_,_,X)}.

输出：