clingo - クリンゴのルール本体の選言

Question

これは基本的なことだと思いますが、クリンゴのルールの本体にリテラルをどのように分離しますか? 私は試した

p3 :- p1 ; p2.しかし、それは機能せず、の答えを想定しています

p3 :- p1 , p2.

ありがとう。