Непейвода Н.Н. Программирование. Раздел 1

Непейвода Н.Н. Программирование. Страница 101

Примерно по такой схеме (с учетом различия моделей вычислений) раз­вивалось логическое программирования в языке PROLOG, который, стре­мясь немедленно учесть то, что казалось необходимостью, обусловленной реализацией, стал вбирать в себя повелительное наклонение, чужеродное для идеи логического вывода в системах продукций.

А вот с языком Рефал, принадлежащим, как и PROLOG, к систе­мам продукций, ситуация прямо противоположна. В. Ф. Турчин, разра­ботчик языка, понимая безнадежную неэффективность идеи прямого во­площения в языке системы правил алгоритма Маркова, предпринял по­пытку поиска специального представления перерабатываемых данных, на котором описание соотношений оказывается эффективным. В результате только за счет этого специального представления удалось выделить зна­чимую, с прикладной точки зрения, область применения идеи: обработка структурно организованных данных. Далее, осознавая, с одной стороны, что для принятого способа задания такой обработки арифметические вы­числения оказываются чужеродными, а с другой — что они нужны, Тур­чин вместо прямолинейного их внедрения в язык предложил согласован­ный с моделью вычислений 'дозированный' способ активизации вычисле­ния любых внешних функций. В результате обобщение без потерь было достигнуто, и эта ситуация сохраняется вплоть до нынешней версии языка Рефал5.

В этом отношении поучителен пример функционального языка LISP, в который встроен чужеродный оператор присваивания. В результате появи­лась возможность писать программы на LISPкак на императивном языке. К счастью, другие, чисто функциональные возможности языка не забыты — это означает в точности то, что, в отличие от Prologa, программист все еще в состоянии решать содержательные задачи, игнорируя присваивания и другие элементы повелительного наклонения. Таким образом, чужеродная императивность LISPaотделима от его функциональной сути.

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама