Functional logic programming is the combination, in a single

programming language A programming language is a system of notation for writing computer programs. Most programming languages are text-based formal languages, but they may also be graphical. They are a kind of computer language. The description of a programming l ...

, of the paradigms of

functional programming In computer science, functional programming is a programming paradigm where programs are constructed by applying and composing functions. It is a declarative programming paradigm in which function definitions are trees of expressions that ...

and

logic programming Logic programming is a programming paradigm which is largely based on formal logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of log ...

.Antoy, Sergio, and Michael Hanus.
Functional logic programming
" Commun. ACM 53.4 (2010): 74–85. This style of programming is embodied by various programming languages, including

Curry A curry is a dish with a sauce seasoned with spices, mainly associated with South Asian cuisine. In southern India, leaves from the curry tree may be included. There are many varieties of curry. The choice of spices for each dish in trad ...

and Mercury. A

journal A journal, from the Old French ''journal'' (meaning "daily"), may refer to: * Bullet journal, a method of personal organization *Diary, a record of what happened over the course of a day or other period *Daybook, also known as a general journal, a ...

devoted to the integration of functional and logic programming was published by

MIT Press The MIT Press is a university press affiliated with the Massachusetts Institute of Technology (MIT) in Cambridge, Massachusetts (United States). It was established in 1962. History The MIT Press traces its origins back to 1926 when MIT publ ...

and the European Association for Programming Languages and Systems between 1995 and 2008.

References

External links

Functional logic programming
at U. Kiel
"func" library for SWI-Prolog
Functional programming Logic programming Programming paradigms {{compu-lang-stub