Menu
Home Explore People Places Arts History Plants & Animals Science Life & Culture Technology
On this page
Functional logic programming
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. This style of programming is embodied by various programming languages, including Curry and Mercury. A more recent example is Verse. 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.

We don't have any images related to Functional logic programming yet.
We don't have any YouTube videos related to Functional logic programming yet.
We don't have any PDF documents related to Functional logic programming yet.
We don't have any Books related to Functional logic programming yet.
We don't have any archived web articles related to Functional logic programming yet.

References

  1. Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74–85. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.207.2248&rep=rep1&type=pdf

  2. Hanus, Michael, Herbert Kuchen, and Juan Jose Moreno-Navarro. "Curry: A truly functional logic language." Proc. ILPS. Vol. 95. No. 5. 1995. https://web.archive.org/web/20190305105250/http://pdfs.semanticscholar.org/d1b4/e96aeb14b2e6c577887a819d8f3c438a122d.pdf

  3. Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74–85. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.207.2248&rep=rep1&type=pdf

  4. AUGUSTSSON, BREITNER, CLAESSEN, JHALA, PEYTON JONES, SHIVERS, SWEENEY. "The Verse Calculus: a Core Calculus for Functional Logic Programming." https://simon.peytonjones.org/assets/pdfs/verse-conf.pdf

  5. Kuchen, Herbert. "The Journal of Functional and Logic Programming". University of Münster. http://danae.uni-muenster.de/lehre/kuchen/JFLP/