Functional logic: Difference between revisions
Jump to navigation
Jump to search
m (Text replacement - "the" to "tbe") |
m (Text replacement - "tbe" to "the") |
||
| Line 1: | Line 1: | ||
'''Functional logic''' is a [[philosophy]] that is used in | '''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 | |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== | ||
Revision as of 20:37, 24 February 2023
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