Ответ 1
Вы можете выполнить чистую логическую программу с помощью LogicT.
Также имеется множество интерфейсов для решателей SAT/SMT. Я написал yices-easy, чтобы узнать больше о программировании ограничений на основе SMT.
Может ли кто-нибудь предложить хорошую библиотеку ограничений для Haskell?
Я начал изучать Программирование ограничений, и я чувствую, что это будет хорошо работать с Haskell (также мне нравится использовать Haskell).
Существуют ли какие-либо зрелые рамки ограничений для Haskell?