Доброе время суток
Ещё один вопрос по ФП. Не так давно столкнулся с рядом задач, требующих логики высших порядков (Higher Order Logic, HOL) для своего решения; столкнулся с языком Isabelle/HOL (Isabelle/HOLCF) и с утверждением, что Haskell не поддерживает HOL (ни подтвердить ни опровергнуть пока не могу - не хватает знаний по сабжу). Соответственно вопрос : сталкивался ли кто-нибудь с подобными задачами, и в каких современных ЯП общего назначения реализован HOL ?Isabelle не подходит - он сугубо DSL. Заранее спасибо
P.S. за ссылки на электронную литературу по сабжу так же буду весьма благодарен :)
