clpfd — это библиотека программирования ограничений для целых чисел в SWI Prolog. Есть ли аналогичная библиотека для наборов? Если нет, знаете ли вы какие-либо статьи, полезные для реализации такой библиотеки?
Это вообще выполнимо? На самом деле я ищу любой вклад, так как мои поиски в Google не дали ничего интересного.
Редактировать: использование кавычек при поиске дает гораздо лучшие результаты (дох!). Что ж... в любом случае рад получить обратную связь.
Редактировать: есть библиотека B-Prolog (clpset), которая делает именно это.