Functional logic programming - Revision history

RyanAl6: Well cited now

2024-06-06T18:33:51Z

Well cited now

← Previous revision		Revision as of 18:33, 6 June 2024
Line 1:		Line 1:
	{{Short description\|Programming paradigm that combines logic programming with functional programming}}		{{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>		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>

2001:6A0:5001:B:A0AC:B983:157:237B: Added missing dot

2024-03-05T16:18:38Z

Added missing dot

← Previous revision		Revision as of 16:18, 5 March 2024
Line 1:		Line 1:
	{{Short description\|Programming paradigm that combines logic programming with functional programming}}		{{Short description\|Programming paradigm that combines logic programming with functional programming}}
	{{more citations needed\|date=November 2016}}		{{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>		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>

Mathnerd314159: change paradigms template to navbox (see Template talk:Programming paradigms#too long)

2024-02-01T23:13:02Z

change paradigms template to navbox (see Template talk:Programming paradigms#too long)

← Previous revision		Revision as of 23:13, 1 February 2024
Line 1:		Line 1:
	{{Short description\|Programming paradigm that combines logic programming with functional programming}}		{{Short description\|Programming paradigm that combines logic programming with functional programming}}
	{{more citations needed\|date=November 2016}}		{{more citations needed\|date=November 2016}}
⚫	{{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://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>		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>
Line 11:		Line 10:
	* [http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel		* [http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel
	* [http://www.swi-prolog.org/pack/list?p=func "func" library for SWI-Prolog]		* [http://www.swi-prolog.org/pack/list?p=func "func" library for SWI-Prolog]

		⚫	{{Programming paradigms navbox}}

	[[Category:Functional programming]]		[[Category:Functional programming]]

Rich Smith: v2.05 - Fix errors for CW project (External link with a line break)

2023-09-03T10:58:00Z

v2.05 - Fix errors for CW project (External link with a line break)

← Previous revision		Revision as of 10:58, 3 September 2023
Line 2:		Line 2:
	{{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://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		'''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>
	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>		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>

WikiCleanerBot: v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation)

2023-07-04T00:47:20Z

v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation)

← Previous revision		Revision as of 00:47, 4 July 2023
Line 2:		Line 2:
	{{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://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		'''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>		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>		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>

Maacl: Added Verse as example of functional logic programming language.

2023-06-27T20:59:00Z

Added Verse as example of functional logic programming language.

← Previous revision		Revision as of 20:59, 27 June 2023
Line 2:		Line 2:
	{{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://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"/>		'''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>		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>

EvanBaldonado: Replace hyphen with en-dash.

2022-09-27T21:14:36Z

Replace hyphen with en-dash.

← Previous revision		Revision as of 21:14, 27 September 2022
Line 2:		Line 2:
	{{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://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"/>		'''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>

Qwerfjkl (bot): Capitalising short description "programming paradigm that combines logic programming with functional programming" per WP:SDFORMAT (via Bandersnatch)

2022-01-31T18:24:26Z

Capitalising short description "programming paradigm that combines logic programming with functional programming" per WP:SDFORMAT (via Bandersnatch)

← Previous revision		Revision as of 18:24, 31 January 2022
Line 1:		Line 1:
	{{~~short~~ description\|~~programming~~ paradigm that combines logic programming with functional programming}}		{{Short description\|Programming paradigm that combines logic programming with functional programming}}
	{{more citations needed\|date=November 2016}}		{{more citations needed\|date=November 2016}}
	{{Programming paradigms}}		{{Programming paradigms}}

Jarble: adding short description

2021-09-12T17:58:57Z

adding short description

← Previous revision		Revision as of 17:58, 12 September 2021
Line 1:		Line 1:
			{{short description\|programming paradigm that combines logic programming with functional programming}}
	{{more citations needed\|date=November 2016}}		{{more citations needed\|date=November 2016}}
	{{Programming paradigms}}		{{Programming paradigms}}

GreenC bot: Rescued 1 archive link. Wayback Medic 2.5

2021-04-30T15:02:49Z

Rescued 1 archive link. Wayback Medic 2.5

← Previous revision		Revision as of 15:02, 30 April 2021
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>

← Previous revision		Revision as of 18:33, 6 June 2024
Line 1:		Line 1:
	{{Short description\|Programming paradigm that combines logic programming with functional programming}}		{{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>		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>

← Previous revision		Revision as of 16:18, 5 March 2024
Line 1:		Line 1:
	{{Short description\|Programming paradigm that combines logic programming with functional programming}}		{{Short description\|Programming paradigm that combines logic programming with functional programming}}
	{{more citations needed\|date=November 2016}}		{{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>		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>