Description:
- Where a program describes what the desired result should be
- Programmer writes sequences of statements that reflect how to solve the problem.
- When a programmer uses a declarative programming language, the programmer writes down (in the language of logic) a declarative specification that describes the situation of interest: what the problem is.
-
- Functional programming language
- Logic programming language
- Logic programming emphasizes the use of logical relationships and rules to solve problems. Programs consist of declarations and facts, and the program execution involves proving theorems or satisfying constraints.