Functional logic programming

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

^ ^a ^b Antoy, 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.
^ Kuchen, Herbert. "The Journal of Functional and Logic Programming". University of Münster.

External links

Functional logic programming at U. Kiel
"func" library for SWI-Prolog

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

[ACM-1] 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.

[1]

[2]

[3]