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 was pioneered in λProlog in the 1990s. Other, newer functional logic programming languages include Curry and Mercury.
- Functional logic programming at U. Kiel
|This programming-language-related article is a stub. You can help Wikipedia by expanding it.|