解集合プログラミング2024/5/28 9:25:00 解集合プログラミングとは、論理プログラミングと制約プログラミングを融合させた概念である。英語ではanswer set programmingと呼ばれる。
『法律家のためのコンピュータ利用法: 論理プログラミング入門』2024/3/24 19:11:00 https://www.amazon.co.jp/法律家のためのコンピュータ利用法―論理プログラミング入門-加賀山-茂/dp/4641075417/ref=cm_cr_arp_mb_bdcrb_top?ie=UTF8