Functional logic programming

Action
Agent-oriented
Array-oriented
Automata-based
Concurrent computing
- Relativistic programming
Data-driven
Declarative (contrast: Imperative)
- Constraint
  - Constraint logic
    - Concurrent constraint logic
- Dataflow
  - Flow-based
  - Cell-oriented (spreadsheets)
  - Reactive
- Functional
  - Functional logic
  - Purely functional
- Logic
Dynamic
End-user programming
Event-driven
- Service-oriented
- Time-driven
Expression-oriented
Feature-oriented
Function-level (contrast: Value-level)
Generic
Imperative (contrast: Declarative)
- Literate
- Procedural
Inductive programming
Language-oriented
- Natural language programming
- Discipline-specific
- Domain-specific
- Grammar-oriented
  - Dialecting
- Intentional
Metaprogramming
- Automatic
- Reflective
  - Attribute-oriented
- Homoiconic
- Template
  - Policy-based
Non-structured (contrast: Structured)
- Array
Nondeterministic
Parallel computing
- Process-oriented
Point-free style
- Concatenative
Semantic
Structured (contrast: Non-structured)
- Block-structured
- Modular (contrast: Monolithic)
- Object-oriented
- Recursive
Value-level (contrast: Function-level)
Probabilistic
Concept

Functional logic programming is the combination, in a single programming language, of the paradigms of functional programming (including higher-order programming) and logic programming (Nondeterministic programming, unification). This style of programming is embodied by various programming languages, including Curry and Mercury.

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.^[1]

References

↑ Kuchen, Herbert. "The Journal of Functional and Logic Programming". University of Münster.

External links

Functional logic programming at U. Kiel

This article is issued from Wikipedia - version of the 11/13/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.