![]() Главная страница Случайная страница КАТЕГОРИИ: АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника |
Введение. На сегодня ЛИСП вместе с Прологом является одним из главных инструментальных средств систем искусственного интеллекта.
На сегодня ЛИСП вместе с Прологом является одним из главных инструментальных средств систем искусственного интеллекта. Язык ЛИСП (LISP) был разработан в 1958 году американским ученым Джоном Маккарти как функциональный язык, предназначенный для обработки списков. (LISt Processing). Lisp - означает " лепетать". С появлением этого языка машина стала пока лепетать, a не говорить по-человечески. В основу языка положен серьезный математический аппарат:
Долгое время язык использовался узким кругом исследователей. Широкое распространение язык получил в конце 70-х - начале 80-х годов с появлением необходимой мощности вычислительных машин и соответствующего круга задач. В настоящем - Лисп одно из главных инструментальных средств систем искусственного интеллекта. Он принят как один из двух основных ЯП для министерства обороны США и постепенно вытесняет второй ЯП - АДА. Система AutoCAD разработана на Лиспе. Лисп имеет необычный синтаксис. Из-за большего числа скобок LISP расшифровывают как L ots of I diotic S illy P arentheses.
Функциональное программирование – это такой способ представления программ, в котором единственным действием является вызов функции. Функция – это изображение вычислений или их определение, а вызов функции – применение этого изображения. Результатом этого применения является значение функции. Повторные вычисления осуществляются с помощью рекурсии, которая является основным средством функционального программирования. ЛІСП не является типизированным языком. В нем имена символов, переменных, списков, функций и других объектов не закреплены изначально за какими-то определенными типами данных. Типы вообще не связаны с именами объектов, а сопровождают сами объекты. Но каждая функция выполняет действия только над аргументами определенного типа. Чисто функциональным стилем программирования называется программирование, в котором аргументы передаются в виде списка, а результат вычислений возвращается через имя функции, При этом, если аргументы также являются функциями, то сначала вычисляются аргументы. Основу ЛИСПа составляют символьные выражения, которые называются S-выражениями и образовывают область определения функциональных программ. S-выражением называется последовательность атомов, списков и S-выражений, расположенных в сбалансированных скобках. При этом на первом месте после скобок, которые открываются, обязательно должно стоять имя функции.
|