Functional logic - Revision history

𝗔𝗿𝗰𝗵𝗮𝗻𝗴𝗲𝗹: Text replacement - "{{Reflist}}" to "{{Reflist|2}}"

2024-02-09T03:18:28Z

Text replacement - "{{Reflist}}" to "{{Reflist|2}}"

← Older revision		Revision as of 18:18, 8 February 2024
Line 19:		Line 19:

	==References==		==References==
	{{Reflist}}		{{Reflist\|2}}

	[[Category:Definitions]]		[[Category:Definitions]]
	[[Category:Philosophy]]		[[Category:Philosophy]]

Bacchus: Text replacement - "tbe" to "the"

2023-02-25T05:37:05Z

Text replacement - "tbe" to "the"

← Older revision		Revision as of 20:37, 24 February 2023
Line 1:		Line 1:
	'''Functional logic''' is a [[philosophy]] that is used in ~~tbe~~ makeup of computer languages, and is ~~tbe~~ combination, in a single programming language, of ~~tbe~~ paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book		'''Functional logic''' is a [[philosophy]] that is used in the makeup of computer languages, and is the combination, in a single programming language, of the paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book
	\|first1=Gopalan		\|first1=Gopalan
	\|last1=Nadathur		\|last1=Nadathur
Line 16:		Line 16:
	\|publisher=Oxford University Press		\|publisher=Oxford University Press
	\|year=1998		\|year=1998
	\|pages=499–590}}</ref> in ~~tbe~~ 1990s. ~~Otber~~, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>		\|pages=499–590}}</ref> in the 1990s. Other, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>

	==References==		==References==

WikiSysop: Text replacement - "the" to "tbe"

2023-02-22T21:31:33Z

Text replacement - "the" to "tbe"

← Older revision		Revision as of 12:31, 22 February 2023
Line 1:		Line 1:
	'''Functional logic''' is a [[philosophy]] that is used in ~~the~~ makeup of computer languages, and is ~~the~~ combination, in a single programming language, of ~~the~~ paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book		'''Functional logic''' is a [[philosophy]] that is used in tbe makeup of computer languages, and is tbe combination, in a single programming language, of tbe paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book
	\|first1=Gopalan		\|first1=Gopalan
	\|last1=Nadathur		\|last1=Nadathur
Line 16:		Line 16:
	\|publisher=Oxford University Press		\|publisher=Oxford University Press
	\|year=1998		\|year=1998
	\|pages=499–590}}</ref> in ~~the~~ 1990s. ~~Other~~, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>		\|pages=499–590}}</ref> in tbe 1990s. Otber, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>

	==References==		==References==

WikiSysop: Text replacement - "tbe" to "the"

2023-02-20T08:09:26Z

Text replacement - "tbe" to "the"

← Older revision		Revision as of 23:09, 19 February 2023
Line 1:		Line 1:
	'''Functional logic''' is a [[philosophy]] that is used in ~~tbe~~ makeup of computer languages, and is ~~tbe~~ combination, in a single programming language, of ~~tbe~~ paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book		'''Functional logic''' is a [[philosophy]] that is used in the makeup of computer languages, and is the combination, in a single programming language, of the paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book
	\|first1=Gopalan		\|first1=Gopalan
	\|last1=Nadathur		\|last1=Nadathur
Line 16:		Line 16:
	\|publisher=Oxford University Press		\|publisher=Oxford University Press
	\|year=1998		\|year=1998
	\|pages=499–590}}</ref> in ~~tbe~~ 1990s. ~~Otber~~, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>		\|pages=499–590}}</ref> in the 1990s. Other, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>

	==References==		==References==

Bacchus: Text replacement - "the" to "tbe"

2023-02-19T20:05:11Z

Text replacement - "the" to "tbe"

← Older revision		Revision as of 11:05, 19 February 2023
Line 1:		Line 1:
	'''Functional logic''' is a [[philosophy]] that is used in ~~the~~ makeup of computer languages, and is ~~the~~ combination, in a single programming language, of ~~the~~ paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book		'''Functional logic''' is a [[philosophy]] that is used in tbe makeup of computer languages, and is tbe combination, in a single programming language, of tbe paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book
	\|first1=Gopalan		\|first1=Gopalan
	\|last1=Nadathur		\|last1=Nadathur
Line 16:		Line 16:
	\|publisher=Oxford University Press		\|publisher=Oxford University Press
	\|year=1998		\|year=1998
	\|pages=499–590}}</ref> in ~~the~~ 1990s. ~~Other~~, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>		\|pages=499–590}}</ref> in tbe 1990s. Otber, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>

	==References==		==References==

Bacchus: Text replacement - "tbe" to "the"

2023-02-19T07:07:16Z

Text replacement - "tbe" to "the"

← Older revision		Revision as of 22:07, 18 February 2023
Line 1:		Line 1:
	'''Functional logic''' is a [[philosophy]] that is used in ~~tbe~~ makeup of computer languages, and is ~~tbe~~ combination, in a single programming language, of ~~tbe~~ paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book		'''Functional logic''' is a [[philosophy]] that is used in the makeup of computer languages, and is the combination, in a single programming language, of the paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book
	\|first1=Gopalan		\|first1=Gopalan
	\|last1=Nadathur		\|last1=Nadathur
Line 16:		Line 16:
	\|publisher=Oxford University Press		\|publisher=Oxford University Press
	\|year=1998		\|year=1998
	\|pages=499–590}}</ref> in ~~tbe~~ 1990s. ~~Otber~~, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>		\|pages=499–590}}</ref> in the 1990s. Other, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>

	==References==		==References==

Bacchus: Text replacement - "the" to "tbe"

2023-02-19T02:40:51Z

Text replacement - "the" to "tbe"

← Older revision		Revision as of 17:40, 18 February 2023
Line 1:		Line 1:
	'''Functional logic''' is a [[philosophy]] that is used in ~~the~~ makeup of computer languages, and is ~~the~~ combination, in a single programming language, of ~~the~~ paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book		'''Functional logic''' is a [[philosophy]] that is used in tbe makeup of computer languages, and is tbe combination, in a single programming language, of tbe paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book
	\|first1=Gopalan		\|first1=Gopalan
	\|last1=Nadathur		\|last1=Nadathur
Line 16:		Line 16:
	\|publisher=Oxford University Press		\|publisher=Oxford University Press
	\|year=1998		\|year=1998
	\|pages=499–590}}</ref> in ~~the~~ 1990s. ~~Other~~, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>		\|pages=499–590}}</ref> in tbe 1990s. Otber, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>

	==References==		==References==

Archangel: Text replacement - "tbe" to "the"

2023-02-17T13:30:00Z

Text replacement - "tbe" to "the"

← Older revision		Revision as of 04:30, 17 February 2023
Line 1:		Line 1:
	'''Functional logic''' is a [[philosophy]] that is used in ~~tbe~~ makeup of computer languages, and is ~~tbe~~ combination, in a single programming language, of ~~tbe~~ paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book		'''Functional logic''' is a [[philosophy]] that is used in the makeup of computer languages, and is the combination, in a single programming language, of the paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book
	\|first1=Gopalan		\|first1=Gopalan
	\|last1=Nadathur		\|last1=Nadathur
Line 16:		Line 16:
	\|publisher=Oxford University Press		\|publisher=Oxford University Press
	\|year=1998		\|year=1998
	\|pages=499–590}}</ref> in ~~tbe~~ 1990s. ~~Otber~~, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>		\|pages=499–590}}</ref> in the 1990s. Other, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>

	==References==		==References==

WikiSysop: Text replacement - "the" to "tbe"

2023-02-16T04:33:51Z

Text replacement - "the" to "tbe"

← Older revision		Revision as of 19:33, 15 February 2023
Line 1:		Line 1:
	'''Functional logic''' is a [[philosophy]] that is used in ~~the~~ makeup of computer languages, and is ~~the~~ combination, in a single programming language, of ~~the~~ paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book		'''Functional logic''' is a [[philosophy]] that is used in tbe makeup of computer languages, and is tbe combination, in a single programming language, of tbe paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book
	\|first1=Gopalan		\|first1=Gopalan
	\|last1=Nadathur		\|last1=Nadathur
Line 16:		Line 16:
	\|publisher=Oxford University Press		\|publisher=Oxford University Press
	\|year=1998		\|year=1998
	\|pages=499–590}}</ref> in ~~the~~ 1990s. ~~Other~~, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>		\|pages=499–590}}</ref> in tbe 1990s. Otber, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>

	==References==		==References==

Bacchus: Created page with "'''Functional logic''' is a philosophy that is used in the makeup of computer languages, and is the combination, in a single programming language, of the paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered{{cite book |first1=Gopalan |last1=Nadathur |first2=D. |last2=Miller |chapter=Higher-Order Logic Programming |title=Handbook of Logi..."

2023-01-27T02:49:23Z

Created page with "'''Functional logic''' is a philosophy that is used in the makeup of computer languages, and is the combination, in a single programming language, of the paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book |first1=Gopalan |last1=Nadathur |first2=D. |last2=Miller |chapter=Higher-Order Logic Programming |title=Handbook of Logi..."

New page

'''Functional logic''' is a [[philosophy]] that is used in the makeup of computer languages, and is the combination, in a single programming language, of the paradigms of functional programming (including higher-order programming) and logic programming (non-deterministic programming, unification). This style of programming was pioneered<ref>{{cite book
|first1=Gopalan
|last1=Nadathur
|first2=D.
|last2=Miller
|chapter=Higher-Order Logic Programming
|title=Handbook of Logic in Artificial Intelligence and Logic Programming
|editor1-first=D. M.
|editor1-last=Gabbay
|editor1-link=Dov Gabbay
|editor2-first=C. J.
|editor2-last=Hogger
|editor3-first=J. A.
|editor3-last=Robinson
|editor3-link=John Alan Robinson
|publisher=Oxford University Press
|year=1998
|pages=499–590}}</ref> in the 1990s. Other, newer functional logic programming language include Curry and Mercury (programming languages).<ref>[http://www.informatik.uni-kiel.de/~mh/FLP/ Functional logic programming] at U. Kiel</ref>

==References==
{{Reflist}}

[[Category:Definitions]]
[[Category:Philosophy]]