Derivative programming has two different meanings, and both of them are in current use. For the first definition, declarative programming is a style of programming that concentrates on what to do, rather than how to do it. This contrasts with the imperative programming via imperative programming language which associates with languages like C, Fortran, and Pascal etc. The main difference between declarative programming and imperative programming is when imperative programs specify an algorithm to be run and achieve a goal; declarative programs specify the goal, not the implementation of the algorithm. HTML web pages are declarative, because they show what are there to make composition like text or image, but not how to display the pages.


For example, prolog is declarative, because a programmer sets the relations without justifying how to calculate the answer. In Kowalski’s terms where algorithm equals to the composition of logic and control, the programmer gives logic, not necessarily the control. Another definition for declarative programming is if a program is written in a purely logic programming language or functional programming language is “declarative”. However, writing programs in a declarative style in an imperative programming language is possible.

당신의 계정 이름이 변경될 것입니다 편집

2015년 3월 18일 (수) 12:20 (KST)

Renamed 편집

2015년 4월 22일 (수) 04:49 (KST)