История вычислительной техники. Казакова И.А. - 204 стр.

      Этот язык используется для решения задач в таких облас-
тях, как:
       математическая логика;

       решение абстрактных задач;

       понимание естественного языка;

       автоматизация проектирования;

       символьное решение уравнений;

       анализ биохимических структур.

                      4.8.2.10. РЕФАЛ
     Язык РЕФАЛ – РЕкурсивных Функций АЛгоритмический
язык. Первую версию РЕФАЛ разработал В. Ф. Турчин еще
в 1964 г. В основе этого языка лежит концепция сопоставления с
образцом. В основе РЕФАЛ лежит теория нормальных алгорит-
мов Маркова, которая потенциально мощнее теории исчисления
предикатов. РЕФАЛ позволяет решать определенные задачи зна-
чительно эффективнее, чем его зарубежные собратья. Немало-
важно, что он превосходит известные языки сопоставления с об-
разцом по своей выразительной мощности и легкости понимания
текста программ.
     На сегодняшний день имеются две версии языка – РЕФАЛ-5
и РЕФАЛ+. Синтаксис языка сблизился с Си++ и поддерживает
объектную идеологию. Объектно-ориентированное программи-
рование выражено в представлении функций языка как объектов,
которые можно использовать в качестве образцов наравне со
стандартными объектами Си++, что превращает РЕФАЛ в очень
мощную открытую систему программирования.
     Сферы применения языка РЕФАЛ:
     1) искусственный интеллект (ИИ);
     2) лингвистические процессоры, экспертные системы и т.д.;
     3) разработка трансляторов с языков программирования;
     4) моделирование целенаправленного поведения.
     В 1980-х гг. американцы были серьезно озабочены япон-
ским проектом создания компьютеров пятого поколения, опаса-
ясь появления конкурента в сфере компьютерных технологий.
Однако выбранный в качестве базового языка ПРОЛОГ не оп-
равдал значительных ожиданий из-за того, что его система логи-
ческого вывода обладает рядом ограничений. А РЕФАЛ, имею-
                             204