lparse/clago:如何说allof(a,b,c):-条件?

以下内容使一个或多个字面值为真:

a,b,c :- condition.
a;b;c :- condition.

在上面的a,b,c中,条件是一个有效的模型,但是(a,condition),(a,b,condition)等。我希望a,b,c的所有内容都是真的,如果条件是真的,则始终是真的。

我可以写下以下的话来强迫A,B,C永远在一起。

:- condition, a, not b.
:- condition, b, not c.
:- condition, c, not a.

但对于复杂的规则,这些规则变得非常冗长和容易出错。