Functional logic programming
Functional logic programmingis the combination, in a singleprogramming language,of the paradigms offunctional programmingandlogic programming.[1]This style of programming is embodied byvarious programming languages,includingCurryandMercury.[2][1]A more recent example isVerse.[3] Ajournaldevoted to the integration of functional and logic programming was published byMIT Pressand the European Association for Programming Languages and Systems between 1995 and 2008.[4]
References[edit]
- ^abAntoy, Sergio, and Michael Hanus. "Functional logic programming."Commun. ACM 53.4 (2010): 74–85.
- ^Hanus, Michael, Herbert Kuchen, and Juan Jose Moreno-Navarro. "Curry: A truly functional logic language."Proc. ILPS. Vol. 95. No. 5. 1995.
- ^AUGUSTSSON, BREITNER, CLAESSEN, JHALA, PEYTON JONES, SHIVERS, SWEENEY. "The Verse Calculus: a Core Calculus for Functional Logic Programming."
- ^Kuchen, Herbert."The Journal of Functional and Logic Programming".University of Münster.
External links[edit]
 | Thisprogramming-language-related article is astub.You can help Wikipedia byexpanding it. |