Functional logic programming
|This article needs additional citations for verification. (November 2016) (Learn how and when to remove this template message)|
Functional logic programming is the combination, in a single programming language, of the paradigms of functional programming (including higher-order programming) and logic programming (nondeterministic programming, unification). This style of programming is embodied by various programming languages, including Curry and Mercury.
- Functional logic programming at U. Kiel
|This programming-language-related article is a stub. You can help Wikipedia by expanding it.|