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