Functional logic programming

Programming paradigm that combines logic programming with functional programming

Functional logic programming is the combination, in a single programming language, of the paradigms of functional programming and logic programming.^[1] This style of programming is embodied by various programming languages, including Curry and Mercury.^[2]^[1] A more recent example is Verse.^[3] A journal devoted to the integration of functional and logic programming was published by MIT Press and the European Association for Programming Languages and Systems between 1995 and 2008.^[4]

References

^ ^a ^b Antoy, Sergio, and Michael Hanus. "Functional logic programming." Commun. ACM 53.4 (2010): 74–85.
^ Hanus, Michael, Herbert Kuchen, and Juan Jose Moreno-Navarro. "Curry: A truly functional logic language." Proc. ILPS. Vol. 95. No. 5. 1995.
^ AUGUSTSSON, BREITNER, CLAESSEN, JHALA, PEYTON JONES, SHIVERS, SWEENEY. "The Verse Calculus: a Core Calculus for Functional Logic Programming."
^ Kuchen, Herbert. "The Journal of Functional and Logic Programming". University of Münster.

Structured	Jackson structures Block-structured Modular Non-structured Procedural Programming in the large and in the small Design by contract Invariant-based Nested function
Object-oriented (comparison, list)	Class-based, Prototype-based, Object-based Agent Immutable object Persistent Uniform function call syntax

Functional (comparison)	Recursive Anonymous function (Partial application) Higher-order Purely functional Total Strict GADTs Dependent types Functional logic Point-free style Expression-oriented Applicative, Concatenative Function-level, Value-level Monad
Dataflow	Flow-based Reactive (Functional reactive) Signals Streams Synchronous
Logic	Abductive logic Answer set Constraint (Constraint logic) Inductive logic Nondeterministic Ontology Probabilistic logic Query
Domain- specific language (DSL)	Algebraic modeling Array Automata-based (Action) Command (Spacecraft) Differentiable End-user Grammar-oriented Interface description Language-oriented List comprehension Low-code Modeling Natural language Non-English-based Page description Pipes and filters Probabilistic Quantum Scientific Scripting Set-theoretic Simulation Stack-based System Tactile Templating Transformation (Graph rewriting, Production, Pattern) Visual