出典:Wikipedia
出典:『Wikipedia』 (2011/05/17 06:36 UTC 版)
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 language include Curry and Mercury.