Functional logic programming

Programming paradigms

Action
Agent-oriented
Automata-based
Concurrent computing
- Relativistic programming
Data-driven
Declarative (contrast: Imperative)
- Constraint
- Dataflow
  - Flow-based
  - Cell-oriented (spreadsheets)
  - Reactive
- Functional
  - Functional logic
- Logic
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
- 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 (OOP)
- 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 (non-deterministic programming, unification). This style of programming was pioneered in λProlog^[1] in the 1990s. Other, newer functional logic programming languages include Curry and Mercury.

References

↑ Nadathur, Gopalan; Miller, D. (1998). "Higher-Order Logic Programming". In Gabbay, D. M.; Hogger, C. J.; Robinson, J. A. Logic Programming. Handbook of Logic in Artificial Intelligence and Logic Programming 5. Oxford University Press. pp. 499–590. ISBN 0198537921.

External links

Functional logic programming at U. Kiel