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