Императивное программирование

Императивное программирование – это технология программирования, характеризующаяся принципом последовательного изменения состояния вычислителя пошаговым образом. При этом управление изменениями полностью определено и полностью контролируется. Императивный язык программирования – это тоже самое, что и процедурно-ориентированный язык программирования. Процедурно-ориентированный язык программирования - язык программирования высокого уровня, в основу которого положен принцип описания (последовательности) действий, позволяющей решить поставленную задачу. Обычно процедурно-ориентированные языки задают программы, как совокупности процедур или программ.

Императивные языки могут называться процедурными языками, которые представляют собой последовательность выполняемых операторов. Если рассматривать состояние ПК как состояние ячеек памяти, то процедурный язык – это последовательность операторов, изменяющих значение одной или нескольких ячеек. К процедурным языкам относятся FORTRAN, C, Ada, Pascal, Smalltalk и некоторые другие. Процедурные языки иногда также называются императивными языками. Код программы на процедурном языке может быть записан следующим образом:

оperator1; operator2; operator3;

Декларативный язык программирования

(От лат.Declaratio – объявление)

Декларативный язык программирования - язык программирования высокого уровня, построенный: - на описании данных; и - на описании искомого результата.

Декларативные языки подразделяются на функциональные и логические языки.

Тексты программ на функциональных языках программирования описывают "как решить задачу", но не предписывают последовательность действий для решения. (языки F# и O'Caml )

Функциональный (аппликативный) язык программирования – язык программирования, позволяющий задавать программу в виде совокупности определений функций.

В функциональных языках программирования: - функции обмениваются между собой данными без использования промежуточных переменных и присваиваний;

- переменные, однажды получив значение, никогда его не изменят;

- циклы заменяются аппаратом рекурсивных функций.

Самым главным отличием функциональных языков является отсутствие

оператора присваивания

Язык программирования Лисп

LISP language

От англ.LISt Processing - обработка списков

Язык программирования Лисп - аппликативный язык программирования.

- он относится к декларативным языкам функционального типа; - предназначен для обработки символьных данных, представленных в виде списков.

Основой языка являются функции и рекурсивные построения.

Функциональные языки применяются преимущественно для научных вычислений, а также при реализации особенно сложных алгоритмов и обработке чрезвычайно запутанных структур данных.

Функциональные языки – это аппликативные языки, в основу которых положен функциональный подход. Язык рассматривается с точки зрения нахождения функции, необходимой для перевода памяти ПК из одного состояния в другое. Программа представляет собой набор функций, применяемых к начальным данным, позволяющий получить требуемый результат. К аппликативным языкам относится язык LISP. Код программы на аппликативном языке может быть записан следующим образом:

function1(function2( function3(beginning_date)));

Языки системы правил, называемые также языками логического программирования, основываются на определении набора правил, при выполнении которых возможно выполнение определенных действий. Правила могут задаваться в виде утверждений и в виде таблиц решений. К языкам логического программирования относится язык Prolog.

Код программы на языке системы правил может быть записан следующим образом:

if condition1 then operator1;

if condition2 then operator2;

if condition3 then operator3;

Логический язык программирования - язык программирования, позволяющий выполнить описание проблемы в терминах фактов и логических формул, а собственно решение проблемы выполняет система с помощью механизмов логического вывода.

PROLOG language

От англ.PROgramming in LOGic

Язык программирования Пролог

Язык программирования Пролог - язык логического программирования, программа на котором состоит:

- из логических утверждений, образующих базу данных; и - из правила вывода новых утверждений из известных ранее.

Языки логического программирования могут называться языками системы правил. Они основываются на определении набора правил, при выполнении которых возможно выполнение определенных действий. Правила могут задаваться в виде утверждений и в виде таблиц решений. К языкам логического программирования относится язык Prolog.

Код программы на языке системы правил может быть записан следующим образом:

if condition1 then operator1;

if condition2 then operator2;

if condition3 then operator3;