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