Functional logic: Difference between revisions
Jump to navigation
Jump to search
(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...") |
m (Text replacement - "{{Reflist}}" to "{{Reflist|2}}") |
||
| (8 intermediate revisions by 3 users not shown) | |||
| Line 19: | Line 19: | ||
==References== | ==References== | ||
{{Reflist}} | {{Reflist|2}} | ||
[[Category:Definitions]] | [[Category:Definitions]] | ||
[[Category:Philosophy]] | [[Category:Philosophy]] | ||
Latest revision as of 18:18, 8 February 2024
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[1] in the 1990s. Other, newer functional logic programming language include Curry and Mercury (programming languages).[2]
References
- ↑ Handbook of Logic in Artificial Intelligence and Logic Programming pp. 499–590 Oxford University Press (1998).
- ↑ Functional logic programming at U. Kiel