>>181
これは結構初期の論文だね
似た話は、どっかで読んだかも
https://ci.nii.ac.jp/els/contentscinii_20181007213157.pdf?id=ART0004921242
特集● 制約論理プログラミング チュートリアル代数制約の処理 竹島卓　横山和弘 コンピュータソフトウェア，vol ．9，　No ．6（1992 ）