ASP 例題０ 組み合わせ

問題

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

他の問題

ASP個人的ポータル