First-order logic in Haskell

[Oleg Durandin]

Всем привет!

Прошу порекомендовать мне какое-либо готовое решение (наверняка кто-либо сталкивался) для логики первого порядка в Haskell и метода резолюций.

Не хочется заново изобретать велосипед, если есть уже готовые решения. 

Требования к решению:

• пропозициональная логика и логика первого порядка;
  
• метод резолюций ( https://en.wikipedia.org/wiki/Resolution_(logic) )
  
• ну и естественно, унификация 
  

Самому мне удалось найти разве что пакет logic-classes ( https://hackage.haskell.org/package/logic-classes-1.5 ), который, к сожалению не работает (и не у меня одного, как показал поиск).

Заранее спасибо

[Alexander V Vershilov]

Здравствуйте.

На hackage ещё есть пакет Folly
https://hackage.haskell.org/package/Folly

> --
> Вы получили это сообщение, поскольку подписаны на группу "Русский Haskell".
> Чтобы отменить подписку на эту группу и больше не получать от нее сообщения,
> отправьте письмо на электронный адрес
> haskell-russi...@googlegroups.com.
> Чтобы отправлять сообщения в эту группу, отправьте письмо на электронный
> адрес haskell...@googlegroups.com.
> Чтобы посмотреть обсуждение на веб-странице, перейдите по ссылке
> https://groups.google.com/d/msgid/haskell-russian/bf52b7f5-493c-4294-b7dd-7c33cd6ab5c5%40googlegroups.com.
> Чтобы настроить другие параметры, перейдите по ссылке
> https://groups.google.com/d/optout.



--
Alexander

[Alexander Tchitchigin]

Может, сразу SMT-солвер взять? Например, http://hackage.haskell.org/package/sbv

Или, в целом, см. http://hackage.haskell.org/packages/#cat:SMT

Для какой задачи требуется?

Чтобы добавлять сообщения в эту группу, отправьте письмо по адресу haskell...@googlegroups.com.
Просмотреть это обсуждение в Сети можно по адресу https://groups.google.com/d/msgid/haskell-russian/CAO-1Pb5axKeyft1OO_h%3DeAWGs4YcaFAenwUaWDYZhLTTn%3Dxd9Q%40mail.gmail.com.
Настройки подписки и доставки писем: https://groups.google.com/d/optout.

--

С уважением,
Александр.