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

От лат.Declaratio - объявление

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

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

 >> Алфавит

Alphabet

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

Исходный код

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

Исходный модуль

Исходный модуль - согласно ГОСТ 19781-90 - программный модуль на исходном языке, обрабатываемый транслятором и представляемый для него как целое, достаточное для проведения трансляции.

Ключевое слово

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

Константа

Константа - в программировании - элемент данных, который занимает место в памяти, имеет имя и определенный тип, причем его значение никогда не меняется.

Логический язык программирования

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

Описание алгоритмического языка

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

 >> Переменная

Variable

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

Тип переменных определяется типом данных, которые они представляют.

Рекурсивное построение

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

 >> Семантика

Semantics

Семантика - в программировании - система правил истолкования отдельных языковых конструкций. Семантика определяет смысловое значение предложений алгоритмического языка.

 >> Синтаксис

От греч.Syntaxis - порядок

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

Система программирования

Система программирования - программная система, предназначенная для разработки программ на конкретном языке программирования. Система программирования предоставляет пользователю специальные средства разработки программ: транслятор, (специальный) редактор текстов программ, библиотеки стандартных подпрограмм, программную документацию, отладчик и др.

 >> Тип данных

Data type

Тип данных - характеристика набора данных, которая определяет:
- диапазон возможных значений данных из набора;
- допустимые операции, которые можно выполнять над этими значениями;
- способ хранения этих значений в памяти.

Различают:
- простые типы данных: целые, действительные числа и др.;
- составные типы данных: массивы, файлы и др.

Функциональный язык программирования

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

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

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

Алгоритмический язык

Programming language; Algorithmic language

Язык программирования - искусственный (формальный) язык, предназначенный для записи алгоритмов. Язык программирования задается своим описанием и реализуется в виде специальной программы: компилятора или интерпретатора.

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

LISP language

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

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

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

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

PROLOG language

От англ.PROgramming in LOGic

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