Abstract

High-level programming languages can be classified according to their style of programming, that is, the intended techniques to construct programs from basic elements and composing them to larger units. This is also called a programming paradigm. For instance, imperative programming is centered around named memory cells (variables) whose contents could be modified by assignments, and assignments are grouped to larger programs using control structures and procedural abstraction. Functional programming is based on the concept of defining functions in a mathematical sense and composing them to more complex functions. Logic and constraint programming focuses on defining relations between entities and solving goals containing free variables. These are the main programming paradigms.