関数型論理プログラミングは、関数型プログラミングと論理型プログラミングのパラダイムを単一のプログラミング言語に組み合わせたものです。[1]このプログラミングスタイルは、CurryやMercuryなど、さまざまなプログラミング言語に体現されています。[2] [1]最近の例としてはVerseがあります。[3]関数型プログラミングと論理型プログラミングの統合に特化したジャーナルが、1995年から2008年にかけてMIT Pressと欧州プログラミング言語・システム協会によって発行されまし た。[ 4 ]
参考文献
- ^ ab Antoy, Sergio, Michael Hanus. 「関数型論理プログラミング」Commun. ACM 53.4 (2010): 74–85
- ^ Hanus, Michael, Herbert Kuchen, Juan Jose Moreno-Navarro. 「Curry: 真に機能的な論理言語」 Proc. ILPS. 第95巻 第5号 1995年.
- ^ AUGUSTSSON, BREITNER, CLAESSEN, JHALA, PEYTON JONES, SHIVERS, SWEENEY. 「The Verse Calculus: a Core Calculus for Functioned Logic Programming.」
- ^ Kuchen, Herbert. 「関数型および論理プログラミングジャーナル」.ミュンスター大学.
外部リンク
- キール大学における関数型論理プログラミング
- SWI-Prolog用「func」ライブラリ
