clpfd は、SWI Prolog の整数に対する制約プログラミング ライブラリです。セット用の同様のライブラリはありますか? そうでない場合、そのようなライブラリを実装するのに役立つ記事を知っていますか?
それはまったく実行可能ですか？私のグーグルは興味のあるものを何も返さなかったので、私は本当にあらゆる種類の入力を探しています。
編集: 検索時に引用符を使用すると、より良い結果が得られます (doh!)。うーん... とにかくフィードバックをいただけてうれしいです。
編集：これを正確に行うB-Prolog（clpset）に含まれるライブラリがあります。