Ask the Chatbot Games & Quizzes History & Society Science & Tech Biographies Animals & Nature Geography & Travel Arts & Culture ProCon Money Videos
declarative language
References
Britannica AI Icon

declarative language

computer language
Also known as: nonprocedural language
Written by
The Information Architects of Encyclopaedia Britannica

The Information Architects maintain a master list of the topics included in the corpus of  Encyclopædia Britannica, and create and manage the relationships between them.
The Information Architects of Encyclopaedia Britannica
Last updated

Quick Summary

Declarative languages, also known as nonprocedural or very high-level languages, are programming languages where a program specifies what needs to be done rather than how to do it. This contrasts with procedural languages, which detail the exact steps a computer must take.12

Two main types of declarative languages exist:
* Logic languages: These languages, like PROLOG, define programs as a set of logical relationships. An "inference engine" then systematically searches these relationships to answer queries.1
* Functional languages: These languages, such as LISP, have a mathematical style where programs are built by applying functions to arguments.1

Summary created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.
2 Britannica Sources
  1. computer programming language - Declarative languages
  2. computer science - Programming languages

Ask Britannica AI about this topic

Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.