ЯЗЫКИ ПРОГРАММИРОВАНИЯ

(Лисп)
ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ:
PROLOG (Пролог)

лат. Imperativus-повелительный) программирование есть отражение фон Неймановской архитектуры компьютера. Программа,

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

А.П. Ершовым как «способ составления программ, в которых единственным действием

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

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

отношения между объектами и целью. Выполнение программы представляет собой попытку доказательства логического утверждения, построенного из программы по правилам, определенным семантикой используемого языка. Результатом вычисления является вывод следствий и аксиом. Алгоритм логической программы предполагает определение и перечень специфических свойств объектов и отношений между ними, а не определение порядка выполнения отдельных шагов. Это подтверждает декларативный характер логического языка программирования. Логические программы не отличаются высоким быстродействием, так как процесс их выполнения сводится к построению прямых и обратных цепочек рассуждений разнообразными методами поиска.

язык созданный Джимом Бэкусом в 50-е годы, основной целью разработки

которого был расчет по встроенным подпрограммам в виде алгебраических формул, из-за чего его английское название произошло от выражения Formula Translation
Программисты, разрабатывавшие программы исключительно на ассемблере, выражали серьезное сомнение в возможности появления высоко-производительного языка высокого уровня, поэтому основным критерием при разработке компиляторов Фортрана явилась эффективность исполняемого кода. Хотя в Фортране впервые был реализован ряд важнейших понятий программирования, удобство создания программ было принесено в жертву возможности получения эффективного машинного кода. Однако для этого языка было создано огромное количество библиотек, начиная от статистических комплексов и кончая пакетами управления спутниками, поэтому Фортран продолжает активно использоваться во многих организациях, а в 2000 году появился очередной стандарт Фортрана F2k . Имеется стандартная версия Фортрана HPF (High Performance Fortran) для параллельных суперкомпьютеров со множеством процессоров.

в 1958-1960 гг. и получивший широкое применение при разработке программ

для решения учетно-экономических и управленческих задач. Название языка связано с английским выражением Common Business Oriented Language. Он отличается большой «многословностью»-его операторы иногда выглядят как обычные английские фразы. В Коболе были реализованы очень мощные средства работы с большими объемами данных, хранящимися на различных внешних носителях. На этом языке создано очень много приложений, которые активно эксплуатируются и сегодня. Достаточно сказать, что наибольшую зарплату в США получают программисты на Коболе.

группой зарубежных специалистов в 1960 году. Он был призван заменить

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

главе Жаном Ишбиа, назван в честь Ады Лавлейс, дочери великого

поэта Байрона. Она в юности была увлечена идеями Чарльза Бэббиджа и помогала ему составлять описание машины, а в начале 40-х гг. XIX в. разработала первую в мире программу для вычислительной машины. Язык АДА- это прямой наследник Паскаля. Он предназначен для создания и длительного сопровождения больших программных систем, управления процессами в реальном масштабе времени. В языке четко выражена модульность его конструкций, причем обеспечивается удобство организации разнообразных связей между модулями. Важным его достоинством является возможность параллельного программирования ветвей программы, которые могут реализоваться на многопроцессорных компьютерах. Язык АДА сложен для изучения.

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

программирования в 1968-1971 гг. Никлаусом Виртом в Высшей технической школе (ETH) в Цюрихе (Швейцария), он был назван в честь французского математика и философа Блеза Паскаля (1623-1662). Задачей Н. Вирта было создание языка, базирующегося на простом синтаксисе и небольшом количестве базовых конструкций, переводимого в машинный код простым компилятором.
В основе языковой концепции Паскаля лежит системный подход, предполагающий переход от общей задачи к частным (более простым и меньшим по объему). К основным принципам Паскаля следует отнести:
Структурное программирование. Его методология основана на использовании подпрограмм и независимых структур данных, объединяющих связанные между собой совокупности данных. Подпрограммы позволяют заменять в тексте программ упорядоченные блоки команд, отчего программный код становится более компактным. Структурный подход обеспечивает создание более понятных и легко читаемых программ, упрощает их тестирование и отладку.
Программирование сверху вниз, когда задача делится на простые, самостоятельно решаемые подзадачи. Затем на основе решенных подзадач выстраивается решение исходной задачи полностью - сверху вниз.
В основу разработки языка Паскаль был положен Алгол-60, но в нем ужесточен ряд требований к структуре программы и имеются возможности, позволяющие успешно применять его для создания крупных проектов. Паскаль реализован для всех типов компьютеров, в настоящее время используется во многих учебных заведениях для обучения программированию, а также для создания больших реальных проектов.

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

математического факультета Дартмутского колледжа Джоном Кемени и Томасом Курцем и считающийся одним из самых простых. Новый язык назвали универсальным символическим кодом для начинающих (Beginners All-purpose Symbolic Instruction Code). По популярности он занимает первое место в мире.

лаборатории Bell для реализации операционной системы UNIX в 1972 г.

и не рассматривался как массовый. Он планировался для замены Ассемблера, чтобы иметь возможность создавать столь же эффективные и компактные программы и в то же время не зависеть от конкретного типа процессора. Язык С популярен и широко используется профессиональными программистами. В настоящее время он реализован для большинства компьютерных платформ.

списков). Первый язык искусственного интеллекта, получивший свое название от сокращения

английских слов, означающих "обработка списков". Разработан в США Джоном Маккарти совместно со студентами Массачусетского технологического института в 1959 г. Этот язык ориентирован на структуру данных в форме списка и позволяет организовывать эффективную обработку больших объемов текстовой информации. Существенная черта языка-единообразие программных структур и структур данных: все выражения записываются в виде списков.

терминах логики)
Язык логического программирования, разработанный в 1973

г. французским ученым Аланом Кольмероэ. Программа на этом языке в основу которого положена математическая модель теории исчисления предикатов, строится из последовательности фактов и правил, а затем формулируется утверждение, которое Пролог будет пытаться доказать с помощью введенных правил. Человек только описывает структуру задачи, а внутренний «мотор» Пролог сам ищет решение с помощью методов поиска и сопоставления.