解集合プログラミング2024/5/28 9:25:00 解集合プログラミングとは、論理プログラミングと制約プログラミングを融合させた概念である。英語ではanswer set programmingと呼ばれる。