Functional logic programming
Functional logic programming 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 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.|