Назад | Содержание| Вперёд ПРЕДИСЛОВИЕ В средние века...

ПРЕДИСЛОВИЕ

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

Сам я приверженец Лиспа, так как воспитывался вМассачусетском технологическом институте, гдеэтот язык был изобретен. Тем не менее, я никогдане забуду того волнения, которое я испытал,увидев в действии свою первую программу,написанную в прологовском стиле. Эта программабыла частью знаменитой системы Shrdlu ТерриВинограда. Решатель задач, встроенный в систему,работал в "мире кубиков" и заставлял рукуробота (точнее, ее модель) перемещать кубики наэкране дисплея, решая при этом хитроумные задачи,поставленные оператором.

Решатель задач Винограда был написан наМикропленнере, языке, который, как мы теперьпонимаем, был своего рода Прологом в миниатюре.Любой прологоподобный язык заставляетпрограммиста мыслить в терминах целей, поэтому,несмотря на все недостатки Микропленнера,достоинством этой программы было то, что в ееструктуре содержались многочисленные явныеуказания на те или иные цели. Процедуры-цели"схватить", "освободить","избавиться", "переместить","отпустить" и т.п. делали программу простой икомпактной, а поведение ее казалось поразительноразумным.

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

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

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

Однако Фортран и почти все другие языкипрограммирования все еще остаются языками типа"как". И чемпионом среди этих языковявляется, пожалуй, современныймодернизированный Лисп. Так, скажем, Common Lisp, имеябогатейшие выразительные возможности, разрешаетпрограммисту описывать наиболее"выразительно" именно то, как что-либоследует делать. В то же время очевидно, что Прологпорывает с традициями языков типа "как",поскольку он определенным образом направляетпрограммистское мышление, заставляяпрограммиста давать определения ситуаций иформулировать задачи вместо того, чтобы во всехдеталях описывать способ решения этих задач.

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

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

        дедушка( X, Z) :- отец(X, Y), родитель( Y, Z).

Как только пролог-система узнала, что такоедедушка, ей можно задать вопрос, например: ктоявляется дедушкой Патрика? В обозначенияхПролога этот вопрос и типичный ответ имеют вид:

        ?-  дедушка( X,патрик).

        X  =  джеймс;