Functional logic programming

{{Short description|Programming paradigm that combines logic programming with functional programming}} '''Functional logic programming''' is the combination, in a single programming language, of the paradigms of functional programming and logic programming.<ref name="ACM">Antoy, Sergio, and Michael Hanus. "[http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.207.2248&rep=rep1&type=pdf Functional logic programming]." Commun. ACM 53.4 (2010): 74–85.</ref> This style of programming is embodied by various programming languages, including Curry and Mercury.<ref>Hanus, Michael, Herbert Kuchen, and Juan Jose Moreno-Navarro. "[https://web.archive.org/web/20190305105250/http://pdfs.semanticscholar.org/d1b4/e96aeb14b2e6c577887a819d8f3c438a122d.pdf Curry: A truly functional logic language]." Proc. ILPS. Vol. 95. No. 5. 1995.</ref><ref name="ACM"/> A more recent example is Verse.<ref>AUGUSTSSON, BREITNER, CLAESSEN, JHALA, PEYTON JONES, SHIVERS, SWEENEY. "[https://simon.peytonjones.org/assets/pdfs/verse-conf.pdf The Verse Calculus: a Core Calculus for Functional Logic Programming]."</ref> A journal devoted to the integration of functional and logic programming was published by MIT Press and the European Association for Programming Languages and Systems between 1995 and 2008.<ref>{{cite web |title=The Journal of Functional and Logic Programming |url=http://danae.uni-muenster.de/lehre/kuchen/JFLP/ |first=Herbert |last=Kuchen |publisher=University of Münster}}</ref>

==References== {{Reflist}}

==External links== * [http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel * [http://www.swi-prolog.org/pack/list?p=func "func" library for SWI-Prolog]

Category:Functional programming Category:Logic programming Category:Programming paradigms Category:Functional logic programming languages