Functional logic

From FasciPedia
Revision as of 17:49, 26 January 2023 by Bacchus (talk | contribs) (Created page with "'''Functional logic''' is a philosophy that is used in the makeup of computer languages, and 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<ref>{{cite book |first1=Gopalan |last1=Nadathur |first2=D. |last2=Miller |chapter=Higher-Order Logic Programming |title=Handbook of Logi...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Functional logic is a philosophy that is used in the makeup of computer languages, and 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[1] in the 1990s. Other, newer functional logic programming language include Curry and Mercury (programming languages).[2]

References

  1. ↑ Handbook of Logic in Artificial Intelligence and Logic Programming pp. 499–590 Oxford University Press (1998).
  2. ↑ Functional logic programming at U. Kiel
Retrieved from "http:///index.php?title=Functional_logic&oldid=15535"