Информатика / Computer science

Declarative programming is when you say what you want. A knowledge base contains a series of related facts and rules. Examples of declarative languages: Prolog, HTML, Haskell, CSS, SQL,...

Imperative programming: is a programming paradigm that describes computation in terms of statements that change a program state.