Перейти к навигации Перейти к поиску
 | Эта статья требует дополнительных ссылок для проверки . ( ноябрь 2016 г. ) ( Узнайте, как и когда удалить это сообщение-шаблон ) |
| Парадигмы программирования |
|---|
|
Функционально-логическое программирование - это сочетание на одном языке программирования парадигм функционального программирования и логического программирования . [1] Этот стиль программирования воплощен в различных языках программирования , включая Curry и Mercury . [2] [1]
Журнал , посвященный интеграции функционального и логического программирования был опубликован MIT Press и Европейской ассоциации по программированию языков и систем в период между 1995 и 2008 [3]
Ссылки [ править ]
- ^ а б Антой, Серджио и Майкл Ханус. « Функционально-логическое программирование ». Commun. ACM 53.4 (2010): 74-85.
- ^ Hanus, Майкл, Герберт Kuchen, и Хуан Хосе Морено-Наварро. « Карри: действительно функциональный язык логики ». Proc. ILPS. Vol. 95. № 5. 1995.
- ^ Кучен, Герберт. «Журнал функционального и логического программирования» . Мюнстерский университет .
Внешние ссылки [ править ]
- Функционально-логическое программирование в У. Киле
- библиотека "func" для SWI-Prolog