t_wの輪郭

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