Экономическая информатика-стр.355

Актуальности решения проблемы разработки языков программирования, базирующихся на принципах что без как, способствовал международный конгресс IFIP (International Federation of Information Processing - Международная федерация по обработке информации), прошедший в Стокгольме в 1976 г. под лозунгом “В 1980г. программирование без программистов”. В рамках реализации этой идеи были созданы непроцедурные языки, приближающиеся по своему синтаксису к естественному языку и ориентированные на пользователей - специалистов управления, не являющихся программистами.

Наиболее известными из языков этого типа являются:

•    Smalltalking - малый разговорный;

•    QBE (Query By Ехатр1е-программирование на примере);

•    Форт, который находит применение при решении сложных задач имитационного моделирования, в системах искусственного интеллекта в графических системах и т.п.

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

Особое место среди языков программирования занимают функциональные языки, в частности Пролог (PROLOG -PROgram-ming in LOGic - логическое программирование), предложенный А.Калмероэ в 1978 г., являющийся языком логического программирования, относящимся к языкам пятого поколения. Главное назначение языка - разработка интеллектуальных программ и систем. Пролог - это язык программирования, созданный специально для работы с базами знаний, основанными на фактах и правилах (одного из элементов систем искусственного интеллекта). В языке реализован механизм возврата для выполнения обратной цепочки рассуждений, при котором предполагается, что некоторые выводы или заключения истинны, а затем эти предположения проверяются в базе знаний, содержащей факты и правила логического вывода. Если предположение не подтверждается, выполняется возврат и выдвигается новое предположение.