Functional logic programming

Action
Agent-oriented
Array-oriented
Automata-based
Concept
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
Language-oriented
- Natural language programming
- Discipline-specific
- Domain-specific
- Grammar-oriented
  - Dialecting
- Intentional
Metaprogramming
- Automatic
  - Inductive programming
- Reflective
  - Attribute-oriented
- Homoiconic
- Macro
- Template
  - Policy-based
Non-structured (contrast: Structured)
- Array
Nondeterministic
Parallel computing
- Process-oriented
Point-free style
- Concatenative
Probabilistic
Semantic
Structured (contrast: Non-structured)
- Block-structured
- Modular (contrast: Monolithic)
- Object-oriented
- Recursive
Value-level (contrast: Function-level)

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. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.