LISP (мова програмування)

Матеріал з Вікіпедії — вільної енциклопедії.

Лісп (LISP) — спискова мова програмування. Вихідна інформація записується у вигляді списків.

Мову програмування Лісп було розроблено в кінці 1950-тих в Масачусетському Технологічному Інституті для дослідження проблем штучного інтелекту. Але, через потужність закладених принципів, мова програмування Лісп також придатна для багатьох інших застосувань.

Зміст

1 Формальне описання мови
2 Базові відомості
3 Джерела Інформації
4 Дивіться також
- 4.1 Література
- 4.2 Навчальні матеріали

[ред.] Формальне описання мови

Програма на мові програмування Лісп предсавляє рекурсивну функцію символьних виразів, яка будується аналогічно арифметичним функціям із елементарних з допомогою умовного оператору та операції суперпозиції. Умовний оператор має вигляд (p₁ → l₁; …, p_n → l_n). Результатом його виконання буде вираз l_i якщо p_i вірне.

Існує п'ять елементарних функцій:

atom — булева функція, яка визначає чи є досліджуваний вираз атомом — неподільною одиницею інформації;
eq — булева функція, яка визначає рівність двох атомів;
car, cdr — функції, які виокремлюють перший та останній елемент списків відповідно;
cons — з'єднує два списки в один.

Окрім елементарних функцій визначаються ряд більш складних функцій, які будуються на їхній основі.

[ред.] Базові відомості

LISP означає LISt Processing (обробка списків), мова програмування працює із списками (та списками списків) розміщуючи їх між дужками. Дужки визначають межі спіску. Списки є базисом мови програмування Лісп.

[ред.] Джерела Інформації

Енциклопедія кібернетики, Грінченко Т. А., том 1, ст. 531.
Robert J. Chassel, An Introduction to Programming in Emacs Lisp.

[ред.] Дивіться також

Common lisp
Scheme
Emacs Lisp

[ред.] Література

Mc Carthy J., Recursive functions of symbolic expressions and their computation by machine, part 1. «Communications of the Associations for Computing Machinery», 1960, v. 3, N. 4.
Є. Хювьонен, Й. Сеплянен, Мир Лиспа методи и системи программирования, Москва, «Мир», (в двох томах) 1990.