Functional logic
Jump to navigation
Jump to search
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