Procedural programming

Procedural programming is a programming paradigm, classified as imperative programming, that involves implementing the behavior of a computer program as procedures (a.k.a. functions, subroutines) that call each other. The resulting program is a series of steps that forms a hierarchy of calls to its constituent procedures.

The first major procedural programming languages appeared

B1 and … and n</sub>"}},"i":0}}]}'/>Bn

and as logical implications:

1</sub> and … and B_n implies H"}},"i":0}}]}'/>B1 and … and Bn implies H.

A skilled logic programmer uses the procedural interpretation to write programs that are effective and efficient, and uses the declarative interpretation to help ensure that programs are correct.

• Declarative programming
• Functional programming (contrast)
• Imperative programming
• Logic programming
• Object-oriented programming
• Programming paradigms
• Programming language
• Structured programming
• SQL procedural extensions

Imperative

Structured	Jackson structures Block-structured Modular Non-structured Procedural Programming in the large and in the small Design by contract Invariant-based Nested function
Object-oriented	Class-based, Prototype-based, Object-based Agent Immutable object Persistent Uniform function call syntax

Declarative

Functional	Recursive Anonymous function (Partial application) Higher-order higher-order function Purely functional Total Strict GADTs Dependent types Functional logic Point-free style Expression-oriented Applicative, Concatenative Function-level, Value-level Monad
Dataflow	Flow-based Reactive (Functional reactive) Signals Streams Synchronous
Logic	Abductive logic Answer set Constraint (Constraint logic) Inductive logic Nondeterministic Ontology Probabilistic logic Query
Domain- specific language (DSL)	Algebraic modeling Array Automata-based (Action) Command (Spacecraft) Differentiable End-user Grammar-oriented Interface description Language-oriented List comprehension Low-code Modeling Natural language Non-English-based Page description Pipes and filters Probabilistic Quantum Scientific Scripting Set-theoretic Simulation Stack-based System Tactile Templating Transformation (Graph rewriting, Production, Pattern) Visual

Concurrent,
parallelMetaprogrammingSeparation
of concernsComparisons/Lists