Первым этапом развития языков программирования является появление языка АССЕМБЛЕР, который обеспечивал возможность символического кодирования машинных команд, т.е. обозначения их с помощью осмысленных названий. Одна команда АССЕМБЛЕРа представляет собой одну машинную команду.

Среди учёных, например, ходит такая присказка, что любая математическая задача уже имеет решение на Фортране, и, действительно, можно найти среди тысяч фортрановских пакетов и пакет для перемножения матриц, и пакет для решения сложных интегральных уравнений, и многие, многие другие. Ряд таких пакетов создавались на протяжении десятилетий и популярны (главным образом в научной среде) по сей день.

Джон Бэкус (1924 — 2007) — американский учёный в области информатики. Он был руководителем команды, разработавшей первый высокоуровневый язык программирования ФОРТРАН, изобретателем формы Бэкуса — Наура, одной из самых

универсальных нотаций, используемых для определения синтаксиса формальных языков. Он был удостоен в 1977 премии Тьюринга.

Кобол (Cobol) — это компилируемый язык для применения в экономической области и решения бизнес-задач, разработанный в начале 60-х г. Этот язык отличается большой «многосло-вностью» — его операторы выглядят как обычные английские фразы. В Коболе были реализованы очень мощные средства работы с большими объемами данных, хранящимися на различных внешних носителях. На этом языке создано много различных приложений, которые активно эксплуатируются и сегодня. Разработчиком первого единого стандарта Кобола являлась Грейс Хоппер (бабушка Кобола).

Алгол (Algol от англ. algorithmic — алгоритмический и англ. language — язык) — название ряда языков программирования, применяемых при составлении программ для решения научно-технических задач на ЭВМ. Алгол разработан в 1958—1960 гг. (Алгол-58, Алгол-60); усовершенствован в 1964—1968 гг. (Алгол 68). Алгол относится к языкам высокого уровня и позволяет легко переводить алгебраические формулы в программные команды. Алгол был популярен в Европе, в том числе в СССР, в то время как сравнимый с ним язык Фортран был распространён в США и Канаде.

Оказал заметное влияние на все разработанные позднее императивные языки программирова- ния — в частности, на язык Pascal.

В конце 1950-х гг. появился язык ЛИСП (LISP — List Information Symbol Processing, язык для обработки списков) для работы строками символов. Это особое предназначение ЛИСПа открыло для программистов новую область деятельности, известную ныне как «искусственный интеллект». В настоящее время диалекты языка ЛИСП успешно применяется в экспертных системах, системах аналитических вычислений и т.п.

Паскаль (Pascal) — высокоуровневый язык программирования общего назначения. Один из наиболее известных языков программирования, широко применяется в промышленном программировании, обучении программированию в высшей школе, является базой для большого числа других языков. Был создан Никлаусом Виртом в 1968-69 годах (опубликован в 1970-м) после его участия в работе комитета разработки стандарта языка Алгол-68.

ПРОЛОГ — это язык логического программирования, предназначенный для поиска решений. Это декларативный язык, т.е. формальная постановка задачи может быть использована для её решения. ПРОЛОГ определяет логические отношения в задаче как отличные от пошагового решения этой задачи. Центральной частью ПРОЛОГа являются средства логического вывода, которые решают запросы, используя заданное множество фактов и правил, к которым обращаются как к утверждениям. ПРОЛОГ также не имеет деления переменных на типы и может динамически добавлять правила и факты к средствам вывода.