о цих пір він вважається стандартною мовою розробки систем штучного інтелекту. Його популярність особливо велика в США. У нашій країні ця мова не отримав широкого розповсюдження (одна з причин - недолік літератури про нього російською мовою), проте в даний час популярність цієї мови швидко зростає. Незважаючи на те, що Лісп - один з найстаріших використовуваних мов програмування, у нього багато ще попереду. p align="justify"> Мова Лісп - один з перших мов обробки даних в символьній формі. Його назва походить від англійських слів В«list processing В» - В«обробка списківВ». У Ліспі і програма, і оброблювані нею дані представляються в одній і тій же формі - у формі списку. Таким чином, програми можуть обробляти і перетворювати інші програми і навіть самих себе.
Використовуваний в Ліспі, так званий, функціональний підхід до програмування грунтується на тій простій ідеї, що вся обробка інформації та отримання шуканого результату можуть бути представлені у вигляді вкладених і/або рекурсивних викликів функцій, що виконують деякі дії, так що значення однієї функції використовується як аргумент іншої. Значення цієї функції стає аргументом наступної і т.д. поки не буде отриманий кінцевий результат - рішення задачі.
Програми будуються з логічно розчленованих визначень функцій. Визначення складаються з керуючих структур, які організовують обчислення, і з вкладених викликів функцій. Основними методами функціонального програмування є композиція і рекурсія. Все це являє собою реалізацію ідей теорії рекурсивних функцій. p align="justify"> Є велика кількість систем програмування на Ліспі, реалізованих для комп'ютерів різних типів. Як правило, це інтерпретують системи, що працюють в інтерактивному (діалоговому) режимі. Відповідні описи і команди вводяться з клавіатури після запрошення ("_"), потім прочитується результат. p align="justify"> ОСНОВНІ ЕЛЕМЕНТИ ПРОГРАМИ НА Ліспі. СПИСКИ
Програми на мові Лісп будуються з найпростіших неподільних елементів, званих атомами. Символи та числа представляють собою атоми, з них складаються всі інші структури. p align="justify"> Символ - це ім'я, що складається з літер, цифр і спеціальних знаків, яке позначає який-небудь предмет або дію з реального світу, а також число, функцію (програму) та інші об'єкти. Поряд з символами використовуються і числа (значення), які можуть бути цілими (наприклад, 543), десятковими (наприклад, 3.789) і в уявленні з мантиси і порядком (наприклад, 1.0243Е-6).
Головною структурою в Ліспі є список.
Списком називається впорядкована послідовність, елементами якої є або атоми, або списки (підсписки). Списки полягають в круглі списки, а їх елементи розділяються пробілами. Наприклад,
(ab (cd) e)
(У групі 18 студентів)
(((((перший) 2) третій) 4) 5).
Список, в якому немає жодного елемента, називається порожньою списком і позначається "()" або спеціальним символом NIL. Список - це структура даних, що представляє деяку ієрархічну зв'язок (дерево) за допомогою строго відповідних один одному відкривають і закривають дужок. p align="justify"> Є і альтернативний спосіб запису списків - з використанням, так званої, точкової нотації. Точка при цьому відокремлює початковий елемент списку-його голову - від іншої частини списку - хвоста: (голова, хвіст) або
(а1 а2 ... aN) = (а1. (а2. ... (aN.Nil) ...)).
Тут Nil - це зумовлена ​​константа, що означає порожній список (і одночасно логічне значення В«БрехняВ»).
Атоми і списки називаються S-виразами . Все вищесказане можна узагальнити в наступних формах Бекуса - Наура
:: = <атом> | <список>
<список> :: = (<внутрішня частина>)
<внутрішня частина> :: = NIL | [{внутрішня частина}}
<атом> :: = ланцюжок алфавітно-цифрових символів без пробілів або спеціальних символів (,);.
Списки в Ліспі - основний засіб представлення знань. Наприклад, за допомогою вкладених списків може бути представлена ​​характеристика людини:
(співробітник
(ім'я Петро)
(по батькові Петрович)
(прізвище Іванов)
(освіта (середнє (з 1969 по 1979))
(вища (ВДУ г.Вороне...
