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.
|This programming-language-related article is a stub. You can help Wikipedia by expanding it.|