Jump to content

Functional logic programming

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Hvidstue (talk | contribs) at 00:00, 23 September 2020 (include "various" in the link label, as to indicate that the link is not just to "programming languages", but to "these various programming languages we are talking about in this context"). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Functional logic programming is the combination, in a single programming language, of the paradigms of functional programming and logic programming.[1] This style of programming is embodied by various programming languages, including Curry and Mercury.[2][1]

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.[3]

References

  1. ^ a b Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74-85.
  2. ^ Hanus, Michael, Herbert Kuchen, and Juan Jose Moreno-Navarro. "Curry: A truly functional logic language." Proc. ILPS. Vol. 95. No. 5. 1995.
  3. ^ Kuchen, Herbert. "The Journal of Functional and Logic Programming". University of Münster.


Stub icon

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Functional_logic_programming&oldid=979819226"