Functional logic: Difference between revisions
Jump to navigation
Jump to search
m (Text replacement - "tbe" to "the") |
m (Text replacement - "{{Reflist}}" to "{{Reflist|2}}") |
||
| (6 intermediate revisions by 2 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