Programming paradigms

Programming paradigms are the dirrenent ways of coding, based on different theories. This is analogical to some extent to various axiomatic mathematics built around different set of axioms.

• Imperative programming, of which severat sub-types exist:

* (Machine code)
* Procedural programming
* Object Oriented programming (OOP)

• Functional programming (also called Declarative programming), based on Lambda calculus
• Logic programming (also called Constraints-based programming), based on Horn clauses