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

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

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

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

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

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

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

[ 29-04-2024 www.glossary.ru]