Home › Glossary › Research › Declarative programming

Intermediate · Research

Declarative programming

Visual diagram · (in preparation) · Math · (in preparation) · Worked example · 3 difficulty levels.

TL;DR. A programming paradigm that expresses the logic of a computation without explicitly describing its control flow.

Technical Definition

A programming paradigm that expresses the logic of a computation without explicitly describing its control flow.

How it works

Declarative programming focuses on what needs to be computed, rather than how to compute it. This contrasts with imperative programming, which specifies the sequence of commands to execute. Examples include SQL and logic programming languages.

Related Concepts

  • Logic programming — Logic programming is a programming paradigm based on formal logic, where programs express facts and rules to solve problems.

Further Reading

  • Wikipedia — Glossary of AI