Functional logic programming: Difference between revisions
Content deleted Content added
m 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" |
GreenC bot (talk | contribs) Rescued 1 archive link. Wayback Medic 2.5 |
||
| Line 1: | Line 1: | ||
{{more citations needed|date=November 2016}} |
{{more citations needed|date=November 2016}} |
||
{{Programming paradigms}} |
{{Programming paradigms}} |
||
'''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://pdfs.semanticscholar.org/d1b4/e96aeb14b2e6c577887a819d8f3c438a122d.pdf Curry: A truly functional logic language]." Proc. ILPS. Vol. 95. No. 5. 1995.</ref><ref name="ACM"/> |
'''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 [[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> |
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> |
||
Revision as of 15:02, 30 April 2021
 | This article needs additional citations for verification. (November 2016) |
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
 | This programming-language-related article is a stub. You can help Wikipedia by expanding it. |