Парадигма программирования, сочетающая логическое программирование с функциональным программированием
Функциональное логическое программирование — это объединение в одном языке программирования парадигм функционального программирования и логического программирования . [1] Этот стиль программирования воплощается в различных языках программирования , включая Curry и Mercury . [2] [1] Более поздним примером является Verse . [3]
Журнал , посвященный интеграции функционального и логического программирования, издавался издательством MIT Press и Европейской ассоциацией языков и систем программирования в период с 1995 по 2008 год. [4]
Ссылки
- ^ ab Антой, Серджио и Майкл Ханус. «Функциональное логическое программирование». Commun. ACM 53.4 (2010): 74–85.
- ^ Ханус, Майкл, Герберт Кучен и Хуан Хосе Морено-Наварро. «Карри: по-настоящему функциональный логический язык». Труды ILPS. Том 95. № 5. 1995.
- ^ AUGUSTSSON, BREITNER, CLAESSEN, JHALA, PEYTON JONES, SHIVERS, SWEENEY. «Исчисление стихов: основное исчисление для функционального логического программирования».
- ^ Кухен, Герберт. «Журнал функционального и логического программирования». Университет Мюнстера .
Внешние ссылки
- Функциональное логическое программирование в Университете Киля
- Библиотека "func" для SWI-Prolog
