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.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. This style of programming is embodied by various programming languages, including Curry and Mercury.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. A more recent example is Verse.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]."

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.{{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}}