Functional logic programming: Difference between revisions

Content deleted Content added

Inline

Revision as of 16:18, 5 March 2024

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 more recent example is Verse.^[3] 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.^[4]

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.
^ AUGUSTSSON, BREITNER, CLAESSEN, JHALA, PEYTON JONES, SHIVERS, SWEENEY. "The Verse Calculus: a Core Calculus for Functional Logic Programming."
^ 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] AUGUSTSSON, BREITNER, CLAESSEN, JHALA, PEYTON JONES, SHIVERS, SWEENEY. "The Verse Calculus: a Core Calculus for Functional Logic Programming."

[4] Kuchen, Herbert. "The Journal of Functional and Logic Programming". University of Münster.

[1]

[2]

[3]

[4]

@@ Line 1: / Line 1: @@
 {{Short description|Programming paradigm that combines logic programming with functional programming}}
 {{more citations needed|date=November 2016}}
-'''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 [[:Category:Functional logic programming languages|various programming languages]], including [[Curry (programming language)|Curry]] and [[Mercury (programming language)|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 (programming language)|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>
+'''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 [[:Category:Functional logic programming languages|various programming languages]], including [[Curry (programming language)|Curry]] and [[Mercury (programming language)|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 (programming language)|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 [[scientific journal|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>