Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://en.wikipedia.org/wiki/Functional_logic_programming below:

Functional logic programming - Wikipedia

From Wikipedia, the free encyclopedia

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

• Functional logic programming at U. Kiel
• "func" library for SWI-Prolog

• v
• t
• e

(

)

• Jackson structures
• Block-structured
• Modular
• Non-structured
• Procedural
• Programming in the large and in the small
• Design by contract
• Invariant-based
• Nested function

• Class-based, Prototype-based, Object-based
• Agent
• Immutable object
• Persistent
• Uniform function call syntax

• 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

• Flow-based
• Reactive (Functional reactive)
• Signals
• Streams
• Synchronous

• Abductive logic
• Answer set
• Constraint (Constraint logic)
• Inductive logic
• Nondeterministic
• Ontology
• Probabilistic logic
• Query

• 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

• Actor-based
• Automatic mutual exclusion
• Choreographic programming
• Concurrent logic (Concurrent constraint logic)
• Concurrent OO
• Macroprogramming
• Multitier programming
• Organic computing
• Parallel programming models
• Partitioned global address space
• Process-oriented
• Relativistic programming
• Service-oriented
• Structured concurrency

• Attribute-oriented
• Automatic (Inductive)
• Dynamic
• Extensible
• Generic
• Homoiconicity
• Interactive
• Macro (Hygienic)
• Metalinguistic abstraction
• Multi-stage
• Program synthesis (Bayesian, Inferential, by demonstration, by example)
• Reflective
• Self-modifying code
• Symbolic
• Template

• Aspects
• Components
• Data-driven
• Data-oriented
• Event-driven
• Features
• Literate
• Roles
• Subjects

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4