問題
p(1)からp(5)までの5つの中から、2つ選ぶ組み合わせはいくつか？
回答
example0.lp
{p(1..5)}=2.
解説
Potassco guideを読んでも、まったくわからなかった。
{}で囲まれな中は
{p(1);p(2);p(3);p(4);p(5)}に展開され、
#count {p(1):p(1);p(2):p(2);p(3):p(3);p(4):p(4);p(5):p(5)}=2.と変換されるらしい。
組み合わせをすべて求めるためには、実行時に0をつける
> clingo example0.lp 0