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

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

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

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