ENSIKLOPEDIA

Tekan Enter untuk memulai pencarian cepat.

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]

1 2 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	Class-based, Prototype-based, Object-based Agent Immutable object Persistent Uniform function call syntax

Functional	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

Comparisons/Lists

This programming-language-related article is a stub. You can help Wikipedia by adding missing information.

Sumber data: id.wikipedia.org via REST API v1